Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds
|
|
- Philip Andrews
- 5 years ago
- Views:
Transcription
1 Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Raphael Hora UFSC 29/04/2014 Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
2 Motivation: The BC Method Belishev and Kurylev ( 92) introduced a method that gives an efficient way to reconstruct a Riemannian manifold via the Dirichlet-to-Neumann operator. Given a compact Riemannian manifold (Ω, g) with boundary Ω, consider the problem u tt g u = 0 on Ω (0, T ), (1) with u t=0 = u t t=0 = 0 and u Ω [0,T ] = f. Let u = u f (x, t) be the solution. The Dirichlet-to-Neumann operator is defined by R T : f u ν Ω [0,T ], where u ν is the normal derivative of u. We have that the operator R2T is determined by Ω T = {x Ω : dist(x, Ω) < T }. Belishev and Kurylev ( 92) showed that the operator R 2T determines (Ω T, g), modulo isometries. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
3 The Scattering Matrix It is known that in an asimptotically hyperbolic manifolds, if x is a boundary defining function, then f C ( X ) and λ R \ {0}, there is a unique u C ( X ) such that ) ( g n2 4 λ2 u = 0 is given by u x n/2+iλ u + j (y)x j + x n/2 iλ u j (y)x j, u 0 + = f. (2) j=0 j=0 The scattering matrix at energy λ 0 is the operator A(λ) : C ( X ) C ( X ), f u 0. (3) One can see that given f, the functions u ± j, j 1, are uniquely determined by f, A(λ)f and the Taylor series of h(x) on x = 0. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
4 Dirichlet-to-Neumann and the Scattering Matrix If (X, g) is a compact manifold X with boundary, the Laplacian g is a elliptic operator, so given f C ( X ), there is an unique u C (X ) such that g u = 0 in X and u X = f. If (x, y) are normal coordinates on X, one can show that the Taylor series of u(x, y) on X = {x = 0} is determined by the first two terms, u(0, y) = f (y) and x u(0, y), and by the equation. Then, x u(0, y) is globally determined by the equation and f. The Dirichlet-to-Neumann operator is given by Λ g : C ( X ) C ( X ), where Λ g f = x u X. Thus, here, one can see the scattering matrix as a generalization of the Dirichlet-to-Neumann operator. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
5 Our Problem Sá Barreto ( 05) showed that on AH manifolds, A(λ), λ R \ 0, determines (X, g) modulo certain difeomorphisms. H and Sá Barreto considered the same problem with partial data for A(λ) restrict to an open subset Γ of the boundary X. One can define the following operator: A Γ (λ)f = (A(λ)f ) Γ, f C 0 (Γ). H and Sá Barreto showed that given (X 1, g 1 ) and (X 2, g 2 ) and an open Γ X j, such that X j \ Γ doesn t have empty interior, j = 1, 2, and if A j,γ (λ), j = 1, 2, λ R \ {0}, satisfy A 1,Γ (λ) Γ = A 2,Γ (λ) Γ, λ R \ {0}, then there is a difeo. Ψ : X 1 X 2, smooth up to X 1, such that Ψ = Id on Γ and Ψ g 2 = g 1. (4) Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
6 Our Model Space We work on spaces which are modeled by the by the hyperbolic space B n+1 = {z R n+1 : z < 1} with the metric g 0 = 4dz 2 (1 z 2 ) 2. If one uses polar coordinates, r = z and θ = z/ z, and take x = 1 r 1 + r, then on [0, 1) S n, the metric g 0 is given by g 0 = dx 2 x 2 + (1 x 2 ) 4 dθ 2 x 2. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
7 Asymptotically Hyperbolic Manifolds A smooth manifold (X, g) with boundary X is called asymptotically hyperbolic if H = x 2 g (5) is smooth on X and non-degenerate on X, where x C (X ) is a boundary defining function. Joshi and Sá Barreto ( 99) showed that if g satisfies (5) above, then there is ɛ > 0 and a unique product structure X [0, ɛ) X such that g = dx 2 x 2 h(x, y, dy) + x 2, h 0 = h(0, y, dy). (6) We also assume that dx H = 1 on X, so that the sectional curvature goes to 1 at infinity. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
8 Idea of the Proof The case where the Dirichlet-to-Neumann is known only on part of the boundary, the reconstruction of a compact manifold was done by Kurylev and Lassas ( 00), using a modified version of the boundary control method of Belishev and Kurylev. As done by Sá Barreto ( 05), H and Sá Barreto adapt the methods of boundary control of Belishev, Kurylev and Lassas, and a unique continuation result of Tataru ( 95), to this setting, using a dynamic definition of the scattering matrix via the radiation fields of Friedlander. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
9 Spectral Theory on AH Manifolds Mazzeo and Melrose ( 87) showed that the spectrum of g, σ( g ), consists of a discrete set σ pp ( g ) and a absolutely continuous spectrum σ ac ( g ) which satisfies [ ) n 2 σ ac ( g ) = 4,, σ pp ( g ) ) (0, n2. 4 This gives a decomposition of L 2 (X ), L 2 (X ) = L 2 pp(x ) L 2 ac(x ). Let u be the solution of the wave equation ) (D 2t g + n2 u(t, z) = 0 on R + X, 2 u(0, z) = f 1 (z), D t u(0, z) = f 2 (z), f 1, f 2 C 0 ( X ). (7) Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
10 Energy Spaces This equation has an conserved energy given by ) E(u, t u)(t) = ( du(t) 2 n2 X 4 u(t) 2 + t u(t) 2 dvol g, ) E(u, t u)(0) = E(f 1, f 2 ) = ( df 1 2 n2 4 f f 2 2 dvol g. We define the energy space by X (8) H E (X ) = {(f 1, f 2 ) : f 1, f 2 L 2 (X ), df 1 L 2 (X ) e E(f 1, f 2 ) < } and the projection P ac : L 2 (X ) L 2 ac(x ) N f f f, φ j φ j, j=1 where {φ j, 1 j N} are the eigenfunctions of g. Let E ac (X ) = P ac (H E (X )). Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
11 Friedlander s Radiation Fields Given (f 1, f 2 ) C 0 (X ) E ac (X ), Sá Barreto ( 05) showed V + (x, s, y) = x n/2 u(s log x, x, y) C 0 ([0, ɛ) R s X ), (9) and the forward radiation field is defined by R + : C 0 ( X ) C 0 ( X ) C (R X ), R + (f 1, f 2 )(s, y) = D s V + (0, s, y) = lim x 0 x n/2 D s u(s log x, x, y). (10) Similarly, if one considers u for t < 0, V (x, s, y) = x n/2 u(s + log x, x, y) C ([0, ɛ) x R s X ), R (f 1, f 2 )(s, y) = D s V (0, s, y). (11) Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
12 The Scattering Operator Sá Barreto ( 05) showed that R ± extend to unitary operators R ± : E ac (X ) L 2 (R X ), which are translation representations of the wave group, U(f 1, f 2 )(t) = (u(t), t u(t)), in the theory of Lax and Phillips, i.e., R ± (U(T )(f 1, f 2 ))(s, y) = R ± (f 1, f 2 )(s + T, y). (12) We define the scattering operator by S : L 2 (R X ) L 2 (R X ), S = R + R, (13) which is unitary and commutes with translations. Sá Barreto showed that it is equivalent to define the scattering matriz, A(λ), by A(λ) = FSF 1, (14) where F is the Fourier transform in s. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
13 A Support Theorem for the Dirichlet-to-Neumann Operator First we stablish a relation between the support of R + (0, f ) and the support of f. It is interesting to see the analogy with the Dirichlet-to-Neumann operator on compact manifolds. If follows from the finite speed of propagation of the wave equation that if Γ X is open and u(t, z) is a soltuion of the Dirichlet problem ( 2 t + g )u = 0 on ( T, T ) X u(0, z) = 0, t u(0, z) = f (z) C ( X ), u(t, z) ( T,T ) X = 0, then ν u(t, z) ( T0,T 0 ) X = 0, if t (0, T ), z Γ and d g (Supp f, Γ) < t. The converse of this result is also valid and follows from a theorem of Tataru ( 95). Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
14 A Support Theorem for the Scattering Matrix Sá Barreto ( 05) proved the following. Theorem (Sá Barreto). A function f L 2 ac(x ) satisfies R + (0, f ) = 0 for all s s 0 << 0 and y X if and only if f (x, y) = 0 if x e s 0, y X. H and Sá Barreto ( 13) proved a similar result with partial data. Theorem (H e Sá Barreto). Let Γ X be open and s 0 R. A function f L 2 ac(x ) satisfies R + (0, f ) = 0 for all s s 0 and y Γ if and only if there exists ɛ > 0 such that f = 0 a.e. on the set D s0 (Γ) = {z X : ω = (α, y ) with 0 < α < ɛ e s 0 e y Γ, d g (z, ω) ( e s 0 ) < log }, α where d g denotes the distance with respect to the metric g. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
15 The set D s0 It is interesting to see that D s0 (Γ) is an union of open ( balls with center at e (α, y ), with 0 < α < ɛ, and y s 0 ) Γ, and radii log. α Lax and Phillips ( 82) showed a similar theorem in the hyperbolic setting. Here, ( this open set corresponds ) to the ball D(α) with center at 1 2 es 0 (1 + α 2 e 2s 0 ), y and radius 1 2 es 0 (1 α 2 e 2s 0 ). Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
16 The Control Space One of the key ideas of the general case is to show that the range of the radiation fields M ± = R ± (0, L 2 ac(x )) = {R ± (0, f ) : f L 2 ac(x )} are closed subspaces of L 2 (R X ), and determined by the scattering operator. We define similar spaces for functions with support in R Γ. First L 2 (R Γ) = {F R Γ : F L 2 (R X )}, and S R Γ : L 2 (R Γ) L 2 (R Γ), F (SF ) R Γ. H and Sá Barreto proved that given an open Γ X, X \ Γ, the set M ± = {R ± (0, f ) R Γ : f L 2 ac(x )}, with norm N defined by N (R ± (0, f ) R Γ ) = f L 2 (X ) is a Hilbert space determined by S R Γ. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
17 First Step of the Proof First, we construct an isometry (as in the main theorem) between neighborhoods of Γ. Then we apply Kurylev and Lassas result to show that the difeomorphism between the two neighborhoods can be extended to a difeomorphism between the two manifolds. Our first result is the following. Proposition. Suppose that (X 1, g 1 ), (X 2, g 2 ) and Γ satisfy the hypothesis of the main theorem. Let R j,± (s, y, x, y ) be the respective radiation fields acting on pairs of the form (0, f ), f L 2 ac(x ). Then there is an ɛ > 0 such that on [0, ɛ) Γ, h 1 (x, y, dy) = h 2 (x, y, dy) and R 1,± (s, y, x, y ) = R 2,± (s, y, x, y ), if y, y Γ, x < ɛ. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
18 Proof of the Proposition The key is to understand the effect of the following orthogonal projections at the initial data P ± x 1 : M ± (Γ) M ± x 1 (Γ), where M + x 1 (Γ) = {F M + (Γ) : F (s, y) = 0, s log x 1 }, M x 1 (Γ) = {F M (Γ) : F (s, y) = 0, s log x 1 }. It follows from the support theorem that M + x 1 (Γ) = {R + (0, h) R Γ : h L 2 ac(x ), h(z) = 0, z D log x1 (Γ)}, M x 1 (Γ) = {R (0, h) R Γ : h L 2 ac(x ), h(z) = 0, z D log x1 (Γ)}, Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
19 Relation between P ± x 1 and R ± Lemma. Let χ x1 be the characteristic function of X x1 = X \ D log x1 (Γ). Then there is an ɛ 0 such that if ɛ < ɛ 0, for all f L 2 ac(x ) there exists α(x 1, f ), which is a linear function of f, such that N Px 1 (R (0, f ) R Γ ) = R 0, χ x1 f α j (x 1, f )φ j. R Γ Now consider T (x 1 )f = j j=1 α j (x 1, f )φ j. Lemma. Let F M (Γ), F = R (0, f ) R Γ with F and f smooth. Then there exists an ɛ > 0 such that for all x 1 (0, ɛ), and for s log x 1 small enough, R + R 1 (P x 1 F )(s, y) = 1 2 x n/2 1 [(Id T (x 1 ))f ](x 1, y) h 1/4 (x 1, y) h 1/4 (0, y) (s log x 1) termos suaves. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
20 Difeomorphism between Neighborhoods The fact that the metrics are the same on certain coordinates imply that there are neighborhoods V j,ɛ X j, j = 1, 2, of Γ and smooth difeomorphisms Ψ j,ɛ : Γ [0, ɛ) V j,ɛ X j such that Then, the map defined by Ψ ɛ = Ψ 1,ɛ Ψ 1 2,ɛ satisfies Ψ 1,ɛ(g 1 V1,ɛ ) = Ψ 2,ɛ(g 2 V2,ɛ ). Ψ ɛ : V 1,ɛ V 2,ɛ, Ψ ɛ(g 2 V2,ɛ ) = g 1 V1,ɛ, and Ψ ɛ = Id on Γ. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
21 Last Step Note that X j,ɛ = X j \ {x j < ɛ} are compact manifolds with boundary and there are open subsets Γ 1,ɛ X 1,ɛ, Γ 2,ɛ X 2,ɛ which are identified by difeomorphisms Ψ j,ɛ with Γ {ɛ} = Γ ɛ. To use result of Kurylev and Lassas, we have to show that (X j,ɛ, g j ), j = 1, 2, have the same spectral data on Γ ɛ. Then we have that for every ɛ > 0, there is a smooth difeo. Ψ ɛ such that Ψ ɛ : X 1,ɛ X 2,ɛ, Ψ ɛ Γ = Id, Ψ ɛ(g 2 X2,ɛ ) = g 1 X1,ɛ. We can extend this map Ψ ɛ to a smooth difeo. Ψ which satisfies the result of our theorem. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
22 End of the Proof ( n ) Let E j 2 + iλ, y, z = R j,+ (s, y, z), then ( n ) ( n ) E iλ, y, z = E iλ, y, z, y Γ, z = (x, y) [0, ɛ) Γ. Using armungents of Melrose ( 95), Sá Barreto showed that for all λ 0, the functions given by ( n v j (z, λ) = 2 + iλ, y, z) φ(y )dvol h0 (y ), j = 1, 2, φ C ( X j ), X j E j form a dense subset on the set of the solutions of ) ( gj λ 2 n2 u = 0 on X j,ɛ, j = 1, 2, 4 on the Sobolev space H k (X j,ɛ ), k 2. It follows from what we showed above that v 1 (x, y, λ) = v 2 (x, y, λ), (x, y) (0, ɛ) Γ, λ R \ {0}. Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
23 THANK YOU! Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/ / 23
RADIATION FIELDS ON ASYMPTOTICALLY EUCLIDEAN MANIFOLDS
RADIATION FIELDS ON ASYMPTOTICALLY EUCLIDEAN MANIFOLDS ANTÔNIO SÁ BARRETO Abstract. F.G. Friedlander introduced the notion of radiation fields for asymptotically Euclidean manifolds. Here we answer some
More informationINVERSE SCATTERING WITH DISJOINT SOURCE AND OBSERVATION SETS ON ASYMPTOTICALLY HYPERBOLIC MANIFOLDS
INVERSE SCATTERING WITH DISJOINT SOURCE AND OBSERVATION SETS ON ASYMPTOTICALLY HYPERBOLIC MANIFOLDS RAPHAEL HORA AND ANTÔNIO SÁ BARRETO Abstract. In this note, the scattering operator of an asymptotically
More informationSome problems involving fractional order operators
Some problems involving fractional order operators Universitat Politècnica de Catalunya December 9th, 2009 Definition ( ) γ Infinitesimal generator of a Levy process Pseudo-differential operator, principal
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
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 informationNorm convergence of the resolvent for wild perturbations
Norm convergence of the resolvent for wild perturbations Laboratoire de mathématiques Jean Leray, Nantes Mathematik, Universität Trier Analysis and Geometry on Graphs and Manifolds Potsdam, July, 31 August,4
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 informationEssential Spectra of complete manifolds
Essential Spectra of complete manifolds Zhiqin Lu Analysis, Complex Geometry, and Mathematical Physics: A Conference in Honor of Duong H. Phong May 7, 2013 Zhiqin Lu, Dept. Math, UCI Essential Spectra
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 informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationPOINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO
POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger
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 informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 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 informationASYMPTOTIC BEHAVIOR OF GENERALIZED EIGENFUNCTIONS IN N-BODY SCATTERING
ASYMPTOTIC BEHAVIOR OF GENERALIZED EIGENFUNCTIONS IN N-BODY SCATTERING ANDRAS VASY Abstract. In this paper an asymptotic expansion is proved for locally (at infinity) outgoing functions on asymptotically
More informationGradient estimates for eigenfunctions on compact Riemannian manifolds with boundary
Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D 21218 Abstract The purpose of this paper is
More informationLecture 4: Harmonic forms
Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationChapter 7: Bounded Operators in Hilbert Spaces
Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationHeat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan
Heat Kernel and Analysis on Manifolds Excerpt with Exercises Alexander Grigor yan Department of Mathematics, University of Bielefeld, 33501 Bielefeld, Germany 2000 Mathematics Subject Classification. Primary
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
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 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 informationON THE SPECTRUM OF THE DIRICHLET LAPLACIAN IN A NARROW STRIP
ON THE SPECTRUM OF THE DIRICHLET LAPLACIAN IN A NARROW STRIP LEONID FRIEDLANDER AND MICHAEL SOLOMYAK Abstract. We consider the Dirichlet Laplacian in a family of bounded domains { a < x < b, 0 < y < h(x)}.
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 informationHARMONIC FORMS ON NON-COMPACT RIEMANNIAN MANIFOLDS
L 2 HARONIC FORS ON NON-COPACT RIEANNIAN ANIFOLDS GILLES CARRON First, I want to present some questions on L 2 - harmonic forms on non-compact Riemannian manifolds. Second, I will present an answer to
More informationAsymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends
Asymptotics of generalized eigenfunctions on manifold with Euclidean and/or hyperbolic ends Kenichi ITO (University of Tokyo) joint work with Erik SKIBSTED (Aarhus University) 3 July 2018 Example: Free
More informationAN INVERSE PROBLEM FOR THE WAVE EQUATION WITH A TIME DEPENDENT COEFFICIENT
AN INVERSE PROBLEM FOR THE WAVE EQUATION WITH A TIME DEPENDENT COEFFICIENT Rakesh Department of Mathematics University of Delaware Newark, DE 19716 A.G.Ramm Department of Mathematics Kansas State University
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationMicrolocal limits of plane waves
Microlocal limits of plane waves Semyon Dyatlov University of California, Berkeley July 4, 2012 joint work with Colin Guillarmou (ENS) Semyon Dyatlov (UC Berkeley) Microlocal limits of plane waves July
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationInverse 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 informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
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 informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along
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 informationSurvey of Inverse Problems For Hyperbolic PDEs
Survey of Inverse Problems For Hyperbolic PDEs Rakesh Department of Mathematical Sciences University of Delaware Newark, DE 19716, USA Email: rakesh@math.udel.edu January 14, 2011 1 Problem Formulation
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationSpaces with oscillating singularities and bounded geometry
Spaces with oscillating singularities and bounded geometry Victor Nistor 1 1 Université de Lorraine (Metz), France Potsdam, March 2019, Conference in Honor of B.-W. Schulze ABSTRACT Rabinovich, Schulze
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationAn inverse scattering problem in random media
An inverse scattering problem in random media Pedro Caro Joint work with: Tapio Helin & Matti Lassas Computational and Analytic Problems in Spectral Theory June 8, 2016 Outline Introduction and motivation
More informationTHE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM
THE LOCAL THEORY OF ELLIPTIC OPERATORS AND THE HODGE THEOREM BEN LOWE Abstract. In this paper, we develop the local theory of elliptic operators with a mind to proving the Hodge Decomposition Theorem.
More informationSpectral Continuity Properties of Graph Laplacians
Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationScattering by (some) rotating black holes
Scattering by (some) rotating black holes Semyon Dyatlov University of California, Berkeley September 20, 2010 Motivation Detecting black holes A black hole is an object whose gravitational field is so
More informationShape optimisation for the Robin Laplacian. an overview
: an overview Group of Mathematical Physics University of Lisbon Geometric Spectral Theory Université de Neuchâtel Thursday, 22 June, 2017 The Robin eigenvalue problem Consider u = λu in Ω, u ν + αu =
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationBielefeld Course on Nonlinear Waves - June 29, Department of Mathematics University of North Carolina, Chapel Hill. Solitons on Manifolds
Joint work (on various projects) with Pierre Albin (UIUC), Hans Christianson (UNC), Jason Metcalfe (UNC), Michael Taylor (UNC), Laurent Thomann (Nantes) Department of Mathematics University of North Carolina,
More informationOn the spectrum of the Hodge Laplacian and the John ellipsoid
Banff, July 203 On the spectrum of the Hodge Laplacian and the John ellipsoid Alessandro Savo, Sapienza Università di Roma We give upper and lower bounds for the first eigenvalue of the Hodge Laplacian
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationElliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.
Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental
More informationLocal smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping
Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping H. Christianson partly joint work with J. Wunsch (Northwestern) Department of Mathematics University of North
More informationObservability and measurable sets
Observability and measurable sets Luis Escauriaza UPV/EHU Luis Escauriaza (UPV/EHU) Observability and measurable sets 1 / 41 Overview Interior: Given T > 0 and D Ω (0, T ), to find N = N(Ω, D, T ) > 0
More informationEigenvalues of Robin Laplacians on infinite sectors and application to polygons
Eigenvalues of Robin Laplacians on infinite sectors and application to polygons Magda Khalile (joint work with Konstantin Pankrashkin) Université Paris Sud /25 Robin Laplacians on infinite sectors 1 /
More informationThe Factorization Method for Inverse Scattering Problems Part I
The Factorization Method for Inverse Scattering Problems Part I Andreas Kirsch Madrid 2011 Department of Mathematics KIT University of the State of Baden-Württemberg and National Large-scale Research Center
More informationANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 1,June 00, Pages 11 15 ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS YUNHI CHO AND HYUK KIM Abstract We can extend the
More informationCOUNTABLE PRODUCTS ELENA GUREVICH
COUNTABLE PRODUCTS ELENA GUREVICH Abstract. In this paper, we extend our study to countably infinite products of topological spaces.. The Cantor Set Let us constract a very curios (but usefull) set known
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
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 informationERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX
ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX JOHN LOFTIN, SHING-TUNG YAU, AND ERIC ZASLOW 1. Main result The purpose of this erratum is to correct an error in the proof of the main result
More informationQuasi-normal modes for Kerr de Sitter black holes
Quasi-normal modes for Kerr de Sitter black holes Semyon Dyatlov University of California, Berkeley March 10, 2011 Motivation Gravitational waves Gravitational waves are perturbations of the curvature
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
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 informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationODE solutions for the fractional Laplacian equations arising in co
ODE solutions for the fractional Laplacian equations arising in conformal geometry Granada, November 7th, 2014 Background Classical Yamabe problem (M n, g) = Riemannian manifold; n 3, g = u 4 n 2 g conformal
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More information(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y
() Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open
More informationLecture 11 Hyperbolicity.
Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed
More informationHYPERBOLIC SETS WITH NONEMPTY INTERIOR
HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationQuasi-conformal minimal Lagrangian diffeomorphisms of the
Quasi-conformal minimal Lagrangian diffeomorphisms of the hyperbolic plane (joint work with J.M. Schlenker) January 21, 2010 Quasi-symmetric homeomorphism of a circle A homeomorphism φ : S 1 S 1 is quasi-symmetric
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationWITTEN HELLFER SJÖSTRAND THEORY. 1.DeRham Hodge Theorem. 2.WHS-Theorem. 3.Mathematics behind WHS-Theorem. 4.WHS-Theorem in the presence of.
WITTEN HELLFER SJÖSTRAND THEORY 1.DeRham Hodge Theorem 2.WHS-Theorem 3.Mathematics behind WHS-Theorem 4.WHS-Theorem in the presence of symmetry 1 2 Notations M closed smooth manifold, (V, V ) euclidean
More informationMathematical foundations - linear algebra
Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar
More informationICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber
Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationHyperbolic inverse problems and exact controllability
Hyperbolic inverse problems and exact controllability Lauri Oksanen University College London An inverse initial source problem Let M R n be a compact domain with smooth strictly convex boundary, and let
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 informationDiscrete groups and the thick thin decomposition
CHAPTER 5 Discrete groups and the thick thin decomposition Suppose we have a complete hyperbolic structure on an orientable 3-manifold. Then the developing map D : M H 3 is a covering map, by theorem 3.19.
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
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 informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationOpen Questions in Quantum Information Geometry
Open Questions in Quantum Information Geometry M. R. Grasselli Department of Mathematics and Statistics McMaster University Imperial College, June 15, 2005 1. Classical Parametric Information Geometry
More informationKrein-Rutman Theorem and the Principal Eigenvalue
Chapter 1 Krein-Rutman Theorem and the Principal Eigenvalue The Krein-Rutman theorem plays a very important role in nonlinear partial differential equations, as it provides the abstract basis for the proof
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationElliptic Kirchhoff equations
Elliptic Kirchhoff equations David ARCOYA Universidad de Granada Sevilla, 8-IX-2015 Workshop on Recent Advances in PDEs: Analysis, Numerics and Control In honor of Enrique Fernández-Cara for his 60th birthday
More informationMetric Thickenings of Euclidean Submanifolds
Metric Thickenings of Euclidean Submanifolds Advisor: Dr. Henry Adams Committe: Dr. Chris Peterson, Dr. Daniel Cooley Joshua Mirth Masters Thesis Defense October 3, 2017 Introduction Motivation Can we
More informationA IMPROVEMENT OF LAX S PROOF OF THE IVT
A IMPROVEMEN OF LAX S PROOF OF HE IV BEN KORDESH AND WILLIAM RICHER. Introduction Let Cube = [, ] n R n. Lax gave an short proof of a version of the Change of Variables heorem (CV), which aylor clarified
More information