Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping
|
|
- Kevin Williamson
- 5 years ago
- Views:
Transcription
1 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 Carolina - Chapel Hill April 23, 2012
2 Outline 1 Introduction: Dispersive estimates and trapping
3 Outline 1 Introduction: Dispersive estimates and trapping 2 Main results
4 Outline 1 Introduction: Dispersive estimates and trapping 2 Main results 3 Sketch of proofs
5 What is dispersion? In R n, solutions to Schrödinger equation: { (D t )u = 0, u(0, x) = u 0,
6 What is dispersion? In R n, solutions to Schrödinger equation: { (D t )u = 0, u(0, x) = u 0, look like e ixξ it ξ 2 û 0 (ξ)dξ
7 What is dispersion? In R n, solutions to Schrödinger equation: { (D t )u = 0, u(0, x) = u 0, look like e ixξ it ξ 2 û 0 (ξ)dξ If û 0 is localized at a frequency ξ 0, stationary phase says x = 2tξ 2tξ 0,
8 What is dispersion? In R n, solutions to Schrödinger equation: { (D t )u = 0, u(0, x) = u 0, look like e ixξ it ξ 2 û 0 (ξ)dξ If û 0 is localized at a frequency ξ 0, stationary phase says x = 2tξ 2tξ 0, so speed depends on frequency.
9 What is dispersion? In R n, solutions to Schrödinger equation: { (D t )u = 0, u(0, x) = u 0, look like e ixξ it ξ 2 û 0 (ξ)dξ If û 0 is localized at a frequency ξ 0, stationary phase says x = 2tξ 2tξ 0, so speed depends on frequency. Practical consequences: on average in time solution is nicer than initial conditions (local smoothing/strichartz estimates).
10 Moral of talk Trapping: if some geodesics do not go to infinity, this doesn t work!
11 Moral of talk Trapping: if some geodesics do not go to infinity, this doesn t work! We will look at some examples which suggest the following:
12 Moral of talk Trapping: if some geodesics do not go to infinity, this doesn t work! We will look at some examples which suggest the following: Conjecture Local smoothing estimates depend quantitatively on the nature of the trapping. Strichartz estimates depend on the dimension of the trapping.
13 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation).
14 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing:
15 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing: T 0 x 1/2 ǫ e it 2 u 0 dt C u 0 2 H 1/2 L. 2
16 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing: T 0 x 1/2 ǫ e it u 0 2 H 1/2 dt C u 0 2 L 2. First local smoothing result for KdV by Kato ( 83)
17 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing: T 0 x 1/2 ǫ e it u 0 2 H 1/2 dt C u 0 2 L 2. First local smoothing result for KdV by Kato ( 83) Generalized for dispersive equations by Sjölin ( 87) and Constantin-Saut ( 88)
18 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing: T 0 x 1/2 ǫ e it u 0 2 H 1/2 dt C u 0 2 L 2. First local smoothing result for KdV by Kato ( 83) Generalized for dispersive equations by Sjölin ( 87) and Constantin-Saut ( 88) What about different geometries?
19 What is local smoothing? In R n, Schrödinger propagator e it is unitary on H s spaces (energy conservation). However, on average in time, and locally in space, propagator is smoothing: T 0 x 1/2 ǫ e it u 0 2 H 1/2 dt C u 0 2 L 2. First local smoothing result for KdV by Kato ( 83) Generalized for dispersive equations by Sjölin ( 87) and Constantin-Saut ( 88) What about different geometries? Doi ( 96): H 1/2 smoothing effect manifold is non-trapping (all geodesics escape to infinity)
20 What are Strichartz estimates? Strichartz estimates express a smoothing effect in terms of integrability rather than honest derivatives.
21 What are Strichartz estimates? Strichartz estimates express a smoothing effect in terms of integrability rather than honest derivatives. In R n, the scale-invariant estimate holds: e it u 0 L p ([0,T])L q (R n ) C T u 0 L 2 (R n ), for 2 p + n q = n 2.
22 What are Strichartz estimates? Strichartz estimates express a smoothing effect in terms of integrability rather than honest derivatives. In R n, the scale-invariant estimate holds: for e it u 0 L p ([0,T])L q (R n ) C T u 0 L 2 (R n ), 2 p + n q = n 2. Picture for trapping geometry is much more complicated: you may lose derivatives, but possibly not.
23 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood:
24 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood: Doi ( 96): sharp H 1/2 smoothing effect non-trapping
25 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood: Doi ( 96): sharp H 1/2 smoothing effect non-trapping Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), ǫ > 0 loss.
26 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood: Doi ( 96): sharp H 1/2 smoothing effect non-trapping Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), ǫ > 0 loss. C ( 08) One periodic geodesic, boundary value problems, thin fractal sets, ǫ > 0 loss.
27 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood: Doi ( 96): sharp H 1/2 smoothing effect non-trapping Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), ǫ > 0 loss. C ( 08) One periodic geodesic, boundary value problems, thin fractal sets, ǫ > 0 loss. Datchev ( 09): Thin hyperbolic trapped set (different infinite ends ), ǫ > 0 loss.
28 Trapping: local smoothing What about trapping geometries? Previously only thin fractal trapped sets were understood: Doi ( 96): sharp H 1/2 smoothing effect non-trapping Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), ǫ > 0 loss. C ( 08) One periodic geodesic, boundary value problems, thin fractal sets, ǫ > 0 loss. Datchev ( 09): Thin hyperbolic trapped set (different infinite ends ), ǫ > 0 loss. Compact manifold, or resonances converging to real axis at exponential rate imply no local smoothing, 1/2 derivative loss.
29 Examples γ Figure: A piece of the catenoid. Figure: R n with two convex bodies removed. γ
30 Trapping: Strichartz estimates Can use local smoothing to glue together Strichartz estimates on semiclassical timescales. This works well in non-trapping situations. In trapping situations:
31 Trapping: Strichartz estimates Can use local smoothing to glue together Strichartz estimates on semiclassical timescales. This works well in non-trapping situations. In trapping situations: Burq-Gérard-Tzvetkov ( 04) and Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), 1/p +ǫ > 0 loss, 1/p due to boundary.
32 Trapping: Strichartz estimates Can use local smoothing to glue together Strichartz estimates on semiclassical timescales. This works well in non-trapping situations. In trapping situations: Burq-Gérard-Tzvetkov ( 04) and Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), 1/p +ǫ > 0 loss, 1/p due to boundary. C ( 08): One periodic geodesic or thin fractal set without boundary ǫ > 0 loss.
33 Trapping: Strichartz estimates Can use local smoothing to glue together Strichartz estimates on semiclassical timescales. This works well in non-trapping situations. In trapping situations: Burq-Gérard-Tzvetkov ( 04) and Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), 1/p +ǫ > 0 loss, 1/p due to boundary. C ( 08): One periodic geodesic or thin fractal set without boundary ǫ > 0 loss. Burq-Guillarmou-Hassell ( 10): using work of Anantharaman, extend parametrix logarithmically leading to lossless estimates.
34 Trapping: Strichartz estimates Can use local smoothing to glue together Strichartz estimates on semiclassical timescales. This works well in non-trapping situations. In trapping situations: Burq-Gérard-Tzvetkov ( 04) and Burq ( 04): Convex bodies removed from Euclidean space (Ikawa s example), 1/p +ǫ > 0 loss, 1/p due to boundary. C ( 08): One periodic geodesic or thin fractal set without boundary ǫ > 0 loss. Burq-Guillarmou-Hassell ( 10): using work of Anantharaman, extend parametrix logarithmically leading to lossless estimates. Burq-Gérard-Tzvetkov ( 04): Compact manifold 1/p loss is sharp.
35 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss?
36 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss? Answer: Yes...
37 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss? Answer: Yes... Can lose 1/2 1/(m+1).
38 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss? Answer: Yes... Can lose 1/2 1/(m+1). Question 2: Is there something between no loss and 1/p loss Strichartz estimates?
39 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss? Answer: Yes... Can lose 1/2 1/(m+1). Question 2: Is there something between no loss and 1/p loss Strichartz estimates? Answer: Yes...
40 Obvious questions Question 1: Is there something in between ǫ > 0 loss and total (1/2 derivatve) loss? Answer: Yes... Can lose 1/2 1/(m+1). Question 2: Is there something between no loss and 1/p loss Strichartz estimates? Answer: Yes... Can lose (n 2)/2n.
41 Degenerate hyperbolic orbits Let X = R x R θ /2πZ, with g = dx 2 +(1+x 2m ) 1/m dθ 2, m Z +. X is asymptotically Euclidean: (1+x 2m ) 1/m x 2 as x
42 Degenerate hyperbolic orbits Let X = R x R θ /2πZ, with g = dx 2 +(1+x 2m ) 1/m dθ 2, m Z +. X is asymptotically Euclidean: (1+x 2m ) 1/m x 2 as x X has one periodic geodesic at min of (1+x 2m ) 1/m, and no other trapping
43 Degenerate hyperbolic orbits Let X = R x R θ /2πZ, with g = dx 2 +(1+x 2m ) 1/m dθ 2, m Z +. X is asymptotically Euclidean: (1+x 2m ) 1/m x 2 as x X has one periodic geodesic at min of (1+x 2m ) 1/m, and no other trapping Min is of order x 2m at x = 0, which is degenerate for m > 1. The Gaussian curvature K 0, K 0 as x ±, K = 0 to order 2m 2 at x = 0.
44 Examples γ Figure: A piece of the manifold X and the periodic geodesic γ. The Gaussian curvature is K = A /A = (2m 1)x 2m 2 (1+x 2m ) 2.
45 The Schrödinger equation on X Theorem (Local Smoothing) Suppose X is as above for m 2, and assume u solves { (D t )u = 0 in R X, u t=0 = u 0 H s for some s m/(m+1). Then for any T <, there exists a constant C > 0 such that T 0 x 3/2 u 2 H 1 (X) dt C( D θ m/(m+1) u 0 2 L 2 + D x 1/2 u 0 2 L 2 ).
46 The Schrödinger equation on X Theorem (Local Smoothing) Suppose X is as above for m 2, and assume u solves { (D t )u = 0 in R X, u t=0 = u 0 H s for some s m/(m+1). Then for any T <, there exists a constant C > 0 such that T 0 x 3/2 u 2 H 1 (X) dt C( D θ m/(m+1) u 0 2 L 2 + D x 1/2 u 0 2 L 2 ). Theorem (Sharpness) Theorem 2 is sharp, and the estimate can be saturated on a (weak) semiclassical time scale.
47 Remarks The case m = 1 was already known in great detail, and the loss there is actually logarithmic.
48 Remarks The case m = 1 was already known in great detail, and the loss there is actually logarithmic. Shows a relationship between the curvature near the trapped set and the local smoothing effect.
49 Remarks The case m = 1 was already known in great detail, and the loss there is actually logarithmic. Shows a relationship between the curvature near the trapped set and the local smoothing effect. The weak semiclassical timescale is a frequency dependent timescale, which also depends on m.
50 Remarks The case m = 1 was already known in great detail, and the loss there is actually logarithmic. Shows a relationship between the curvature near the trapped set and the local smoothing effect. The weak semiclassical timescale is a frequency dependent timescale, which also depends on m. The choice of infinite ends is somewhat irrelevant
51 Remarks The case m = 1 was already known in great detail, and the loss there is actually logarithmic. Shows a relationship between the curvature near the trapped set and the local smoothing effect. The weak semiclassical timescale is a frequency dependent timescale, which also depends on m. The choice of infinite ends is somewhat irrelevant As a byproduct of the proof, we obtain a sharp resolvent estimate with a polynomial loss (next slide).
52 A sharp resolvent estimate Theorem Fix m 2, and assume X = R 2 for x C. For any χ C c (X), there exists a constant C = C m,χ > 0 such that for λ 0, χ( g (λ i0) 2 ) 1 χ L 2 L 2 Cλ 2/(m+1). Moreover, this estimate is sharp, in the sense that no better polynomial rate of decay holds true.
53 n-dimensional extension Smoothing theorem relies on separation of variables to produce 1-dim l semiclassical Schrödinger operator with potential.
54 n-dimensional extension Smoothing theorem relies on separation of variables to produce 1-dim l semiclassical Schrödinger operator with potential. If X = R x S n 1, with g = dx 2 +(1+x 2m ) 1/m g S n 1, m Z +, (or any other compact (n 1)-dim l manifold),
55 n-dimensional extension Smoothing theorem relies on separation of variables to produce 1-dim l semiclassical Schrödinger operator with potential. If X = R x S n 1, with g = dx 2 +(1+x 2m ) 1/m g S n 1, m Z +, (or any other compact (n 1)-dim l manifold), (n 1)-dim l trapped sphere,
56 n-dimensional extension Smoothing theorem relies on separation of variables to produce 1-dim l semiclassical Schrödinger operator with potential. If X = R x S n 1, with g = dx 2 +(1+x 2m ) 1/m g S n 1, m Z +, (or any other compact (n 1)-dim l manifold), (n 1)-dim l trapped sphere, but same theorem holds: T 0 x 3/2 u 2 H 1 (X) dt C( D θ m/(m+1) u 0 2 L 2 + D x 1/2 u 0 2 L 2 ).
57 n-dimensional extension Smoothing theorem relies on separation of variables to produce 1-dim l semiclassical Schrödinger operator with potential. If X = R x S n 1, with g = dx 2 +(1+x 2m ) 1/m g S n 1, m Z +, (or any other compact (n 1)-dim l manifold), (n 1)-dim l trapped sphere, but same theorem holds: T 0 x 3/2 u 2 H 1 (X) dt C( D θ m/(m+1) u 0 2 L 2 + D x 1/2 u 0 2 L 2 ). Proof is exactly the same.
58 Strichartz estimates with trapping Theorem (C ( 11)) For our manifold X, if u 0 H k localized along a single harmonic subspace, for any ǫ > 0, e it u 0 L p T Lq C ǫ D θ (n 2)/2n+ǫ u 0 L 2,
59 Strichartz estimates with trapping Theorem (C ( 11)) For our manifold X, if u 0 H k localized along a single harmonic subspace, for any ǫ > 0, e it u 0 L p T Lq C ǫ D θ (n 2)/2n+ǫ u 0 L 2, provided 2 p + n q = n 2.
60 Remarks ǫ > 0 loss is probably an artifact of the method. Fractional loss is sharp.
61 Remarks ǫ > 0 loss is probably an artifact of the method. Fractional loss is sharp. Suggests that Strichartz estimates depend only on dimension of trapped set, but local smoothing depends only on degeneracy.
62 Remarks ǫ > 0 loss is probably an artifact of the method. Fractional loss is sharp. Suggests that Strichartz estimates depend only on dimension of trapped set, but local smoothing depends only on degeneracy. Fractional loss is (n 2)/2n < 1/2 derivatives, which is always better than the (endpoint) Burq-Gérard-Tzvetkov estimate.
63 The Schrödinger equation in polar coordinates I In R 2 with polar coordinates, have { (D t 2 r r 1 r r 2 2 θ )u = 0, u t=0 = u 0.
64 The Schrödinger equation in polar coordinates I In R 2 with polar coordinates, have { (D t r 2 r 1 r r 2 θ 2 )u = 0, u t=0 = u 0. Using equation, for B self-adjoint, 0 = 2i Im = = T 0 T 0 T 0 B(D t )u, u dt B(D t )u, u u, B(D t )u dt [B, ]u, u dt + i Bu, u T 0.
65 The Schrödinger equation in polar coordinates II If B = arctan(r)d r, last term is bounded using energy estimates by Bu, u T C u 0 2. H 1/2 0
66 The Schrödinger equation in polar coordinates II If B = arctan(r)d r, last term is bounded using energy estimates by Bu, u T C u 0 2. H 1/2 Then 0 i[b,( 2 r r 1 r r 2 2 θ )] = 2 r 2 2 r + 2 arctan rr 3 2 θ + l.o.t.,
67 The Schrödinger equation in polar coordinates II If B = arctan(r)d r, last term is bounded using energy estimates by Bu, u T C u 0 2. H 1/2 Then 0 i[b,( r 2 r 1 r r 2 θ 2 )] = 2 r 2 r arctan rr 3 θ 2 + l.o.t., IBP in r and θ, T 0 ( r 1 r u 2 L 2 + r 1/2 r 1 θ u 2 L 2 )dt C u 0 2 H 1/2.
68 Positive commutator again On X, conjugate to flat problem. With Tu(x,θ) = (1+x 2m ) 1/4m u(x,θ), T : L 2 (dvol) L 2 (dxdθ), := T T 1 = 2 x A 2 (x) 2 θ + l.o.t.,
69 Positive commutator again On X, conjugate to flat problem. With Tu(x,θ) = (1+x 2m ) 1/4m u(x,θ), T : L 2 (dvol) L 2 (dxdθ), := T T 1 = 2 x A 2 (x) 2 θ + l.o.t., Use B = arctan(x) x and commutator idea: [, B] = 2 x 2 2 x + 2A A 3 arctan(x) 2 θ + l.o.t.
70 Positive commutator again On X, conjugate to flat problem. With Tu(x,θ) = (1+x 2m ) 1/4m u(x,θ), T : L 2 (dvol) L 2 (dxdθ), := T T 1 = 2 x A 2 (x) 2 θ + l.o.t., Use B = arctan(x) x and commutator idea: [, B] = 2 x 2 2 x + 2A A 3 arctan(x) 2 θ + l.o.t. Coefficient A arctan(x) vanishes to order 2m at x = 0.
71 Positive commutator again On X, conjugate to flat problem. With Tu(x,θ) = (1+x 2m ) 1/4m u(x,θ), T : L 2 (dvol) L 2 (dxdθ), := T T 1 = 2 x A 2 (x) 2 θ + l.o.t., Use B = arctan(x) x and commutator idea: [, B] = 2 x 2 2 x + 2A A 3 arctan(x) 2 θ + l.o.t. Coefficient A arctan(x) vanishes to order 2m at x = 0. IBP = T 0 ( x 1 x u 2 L 2 + x m x m 3/2 θ u 2 L 2 )dt C u 0 2 H 1/2. (3.1)
72 Estimate near 0 Separate variables: u(t, x,θ) = k e ikθ u k (t, x), and u 0 (x,θ) = k e ikθ u 0,k (x). Estimate on each mode u k.
73 Estimate near 0 Separate variables: u(t, x,θ) = k e ikθ u k (t, x), and u 0 (x,θ) = k e ikθ u 0,k (x). Estimate on each mode u k. Suffices to show T 0 χ(x)ku k 2 L 2 (R) dt C( k m/(m+1) u 0,k 2 L 2 + u 0,k 2 H 1/2 ) for χ C c (R), χ(x) 1 near x = 0.
74 Estimate near 0 Separate variables: u(t, x,θ) = k e ikθ u k (t, x), and u 0 (x,θ) = k e ikθ u 0,k (x). Estimate on each mode u k. Suffices to show T 0 χ(x)ku k 2 L 2 (R) dt C( k m/(m+1) u 0,k 2 L 2 + u 0,k 2 H 1/2 ) for χ C c (R), χ(x) 1 near x = 0. Modulo l.o.t., we have e ikθ u k = (D 2 x + A 2 (x)k 2 )e ikθ u k =: Q k e ikθ u k.
75 Reductions By TT argument, energy cutoff, and Fourier transform t τ, suffices to show cutoff resolvent estimate:
76 Reductions By TT argument, energy cutoff, and Fourier transform t τ, suffices to show cutoff resolvent estimate: ϕ(x, D/ k )(τ + Q) 1 ϕ(x, D/ k ) L 2 x L 2 x Ck 2/(m+1) with ϕ 1 near (0, 0) with compact support.
77 Reductions By TT argument, energy cutoff, and Fourier transform t τ, suffices to show cutoff resolvent estimate: ϕ(x, D/ k )(τ + Q) 1 ϕ(x, D/ k ) L 2 x L 2 x Ck 2/(m+1) with ϕ 1 near (0, 0) with compact support. Rescale: h = k 1 : Q = (hd x ) 2 + A 2 z + l.o.t., z 1 and theorem follows if we can prove:
78 Reductions By TT argument, energy cutoff, and Fourier transform t τ, suffices to show cutoff resolvent estimate: ϕ(x, D/ k )(τ + Q) 1 ϕ(x, D/ k ) L 2 x L 2 x Ck 2/(m+1) with ϕ 1 near (0, 0) with compact support. Rescale: h = k 1 : Q = (hd x ) 2 + A 2 z + l.o.t., z 1 and theorem follows if we can prove: Proposition Let ϕ Φ 0 have wavefront set sufficiently close to (0, 0), and let m 2. Then for each ǫ > 0 sufficiently small, there exists a constant C > 0 such that ϕ(x, hd) Q 1 ϕ(x, hd) L 2 L 2 Ch 2m/m+1, z [1 ǫ, 1+ǫ].
79 Local dynamics Near (0, 0), symbol q of Q has Taylor expansion q ξ 2 1 m x 2m + 1 z, z 1.
80 Local dynamics Near (0, 0), symbol q of Q has Taylor expansion q ξ 2 1 m x 2m + 1 z, z 1. Idea: Escape function. Cook up a function G which increases along the Hamiltonian flow: H q G > 0.
81 Local dynamics Near (0, 0), symbol q of Q has Taylor expansion q ξ 2 1 m x 2m + 1 z, z 1. Idea: Escape function. Cook up a function G which increases along the Hamiltonian flow: H q G > 0. Nondegenerate case (m = 1): q = ξ 2 x 2. Hamiltonian flow: {ẋ = 2ξ, ξ = 2x,
82 Local dynamics Near (0, 0), symbol q of Q has Taylor expansion q ξ 2 1 m x 2m + 1 z, z 1. Idea: Escape function. Cook up a function G which increases along the Hamiltonian flow: H q G > 0. Nondegenerate case (m = 1): q = ξ 2 x 2. Hamiltonian flow: {ẋ = 2ξ, Invariant manifolds: ξ = 2x, (ξ ± x) = ±2(ξ ± x).
83 Stable/Unstable Manifolds Λ ± = {ξ = x} is the stable/unstable manifold. ξ ξ = x x ξ = x Figure: The case non-degenerate hyperbolic case m = 1 with the stable/unstable manifolds ξ = x.
84 Stable/Unstable Manifolds II Idea: G ± = dist 2 (,Λ ± ) = (ξ ± x) 2 satisfies H q G ± = const.g ±. Then G = G G + satisfies H q G = 4(ξ 2 + x 2 ) is symbol of quantum harmonic oscillator (bounded below by h).
85 Local dynamics For m 2, Hamiltonian system for q is {ẋ = 2ξ, ξ = 2x 2m 1,
86 Local dynamics For m 2, Hamiltonian system for q is {ẋ = 2ξ, ξ = 2x 2m 1, which has linearization about zero: {ẋ = 2ξ, ξ = 0.
87 Local dynamics For m 2, Hamiltonian system for q is {ẋ = 2ξ, ξ = 2x 2m 1, which has linearization about zero: {ẋ = 2ξ, degenerate critical point. ξ = 0.
88 Local dynamics For m 2, Hamiltonian system for q is {ẋ = 2ξ, ξ = 2x 2m 1, which has linearization about zero: {ẋ = 2ξ, degenerate critical point. Factorizing q: ξ = 0. (ξ ± m 1/2 x m ) = ±2m 1/2 x m 1 (ξ ± m 1/2 x m ),
89 Weakly stable/unstable manifolds ξ ξ = m 1/2 x m x ξ = m 1/2 x m Figure: The weakly stable/unstable manifolds Λ = {ξ = m 1/2 sgn(x) x m }.
90 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then
91 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then H q G = H q (4m 1/2 ξsgn(x) x m = 8m 1/2 x m 1 (ξ 2 + x 2m ),
92 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then H q G = H q (4m 1/2 ξsgn(x) x m = 8m 1/2 x m 1 (ξ 2 + x 2m ), no longer bounded below.
93 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then H q G = H q (4m 1/2 ξsgn(x) x m = 8m 1/2 x m 1 (ξ 2 + x 2m ), no longer bounded below. Homogeneity try same escape function as m = 1:
94 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then H q G = H q (4m 1/2 ξsgn(x) x m = 8m 1/2 x m 1 (ξ 2 + x 2m ), no longer bounded below. Homogeneity try same escape function as m = 1: H q (ξx) = 2ξ 2 + 2mx 2m
95 Escape function for the degenerate case If G = dist 2 (,Λ ) dist 2 (,Λ + ), then H q G = H q (4m 1/2 ξsgn(x) x m = 8m 1/2 x m 1 (ξ 2 + x 2m ), no longer bounded below. Homogeneity try same escape function as m = 1: H q (ξx) = 2ξ 2 + 2mx 2m quantum anharmonic oscillator (bounded below by h 2m/(m+1) ).
96 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus.
97 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus.
98 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus. q q 1 = h 2m/(m+1) (ξ 2 1 m x 2m )
99 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus. q q 1 = h 2m/(m+1) (ξ 2 1 m x 2m ) takes h-dependent operator into scale-invariant calculus
100 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus. q q 1 = h 2m/(m+1) (ξ 2 1 m x 2m ) takes h-dependent operator into scale-invariant calculus Escape function G xξ near (0, 0) (better control away) H q1 G = 2h 2m/(m+1) (ξ 2 +x 2m )
101 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus. q q 1 = h 2m/(m+1) (ξ 2 1 m x 2m ) takes h-dependent operator into scale-invariant calculus Escape function G xξ near (0, 0) (better control away) H q1 G = 2h 2m/(m+1) (ξ 2 +x 2m ) = i[h q1, G]u, u Ch 2m/(m+1) u 2
102 Inhomogeneous blowup calculus Idea: We are working in marginal (h 1/(m+1), h m/(m+1) ) calculus. Rescaling in phase space (x,ξ) (h 1/(m+1) x, h m/(m+1) ξ) is unitary if we switch from h-calculus to 1-calculus. q q 1 = h 2m/(m+1) (ξ 2 1 m x 2m ) takes h-dependent operator into scale-invariant calculus Escape function G xξ near (0, 0) (better control away) H q1 G = 2h 2m/(m+1) (ξ 2 +x 2m ) Proves Proposition. = i[h q1, G]u, u Ch 2m/(m+1) u 2
103 Complex scaling Model operator P = h 2 2 x x 2m near x = 0.
104 Complex scaling Model operator P = h 2 2 x x 2m near x = 0. Complex scaling. Let T be defined: Tu(x) = u(e iθ x), θ [0,π/2). T 1 PTT 1 u = E 0 T 1 u.
105 Complex scaling Model operator P = h 2 2 x x 2m near x = 0. Complex scaling. Let T be defined: Tu(x) = u(e iθ x), θ [0,π/2). T 1 PTT 1 u = E 0 T 1 u. ( e 2iθ h 2 2 x e 2imθ x 2m )w = E 0 w, w = T 1 u. If θ = π/(2m+2), get ( h 2 2 x + x 2m )w = e 2iθ E 0 w.
106 Complex scaling Model operator P = h 2 2 x x 2m near x = 0. Complex scaling. Let T be defined: Tu(x) = u(e iθ x), θ [0,π/2). T 1 PTT 1 u = E 0 T 1 u. ( e 2iθ h 2 x 2 e 2imθ x 2m )w = E 0 w, w = T 1 u. If θ = π/(2m+2), get ( h 2 x 2 + x 2m )w = e 2iθ E 0 w. Anharmonic oscillator e 2iθ E 0 = c 0 h 2m/(m+1), so Im E 0 = αh 2m/(m+1) for some α > 0.
107 Complex scaling Model operator P = h 2 2 x x 2m near x = 0. Complex scaling. Let T be defined: Tu(x) = u(e iθ x), θ [0,π/2). T 1 PTT 1 u = E 0 T 1 u. ( e 2iθ h 2 x 2 e 2imθ x 2m )w = E 0 w, w = T 1 u. If θ = π/(2m+2), get ( h 2 x 2 + x 2m )w = e 2iθ E 0 w. Anharmonic oscillator e 2iθ E 0 = c 0 h 2m/(m+1), so Im E 0 = αh 2m/(m+1) for some α > 0. resonances?
108 Quasimodes Complex WKB quasimodes u satisfying: ( h 2 x 2 x 2 )u = E 0 u +O(h 2m/(m+1) u L 2), (3.2) and supp u { x ǫh 1/(m+1) }.
109 Quasimodes Complex WKB quasimodes u satisfying: ( h 2 2 x x 2 )u = E 0 u +O(h 2m/(m+1) u L 2), (3.2) and supp u { x ǫh 1/(m+1) }. Theorem Let ϕ 0 (x,θ) = e ikθ u(x), with u C c (R) as in (3.2), and h 1 = k > 0. Suppose ψ solves { (D t + )ψ = 0, ψ t=0 = ϕ 0. Then C 0 > 0 independent of k such that k 2/(m+1) /C 0 0 D θ ψ 2 L 2 dt C 1 0 D θ m/(m+1) ϕ 0 2 L 2.
110 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold.
111 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion
112 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion Rescale and again look at semiclassical Schrödinger operator hd t h 2 2 x + V(x).
113 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion Rescale and again look at semiclassical Schrödinger operator hd t h 2 2 x + V(x). dispersion on h-dependent timescales.
114 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion Rescale and again look at semiclassical Schrödinger operator hd t h 2 2 x + V(x). dispersion on h-dependent timescales. Use local smoothing to glue together Strichartz estimates on semiclassical time scales.
115 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion Rescale and again look at semiclassical Schrödinger operator hd t h 2 2 x + V(x). dispersion on h-dependent timescales. Use local smoothing to glue together Strichartz estimates on semiclassical time scales. Local smoothing has a polynomial loss depending on m
116 Idea of Proof of Strichartz estimates Away from trapping, perfect Strichartz estimates hold. Near trapping, try to construct parametrix and use stationary phase to compute dispersion Rescale and again look at semiclassical Schrödinger operator hd t h 2 2 x + V(x). dispersion on h-dependent timescales. Use local smoothing to glue together Strichartz estimates on semiclassical time scales. Local smoothing has a polynomial loss depending on m need dispersion on timescale polynomially beyond Ehrenfest time.
117 Rough picture ξ ξ = 1 V(x) x ξ = 1 V(x) Figure: The total phase plane. The weakly unstable/stable manifolds are given by Λ ± = {ξ sgn(x) 1 V(x) = 0}.
118 Rough picture ξ ξ = 1 V(x) x ξ = 1 V(x) Figure: The total phase plane. The weakly unstable/stable manifolds are given by Λ ± = {ξ sgn(x) 1 V(x) = 0}. Near x = 0, V 1 x 2m.
119 Phase construction Hamiltonian ODEs for phase construction: {ẋ = 2ξ, so that x(t) = x 0 + 2tξ 0 + ξ = 2mx 2m 1, t 0 (t s)2mx 2m 1 (s)ds.
120 Phase construction Hamiltonian ODEs for phase construction: {ẋ = 2ξ, so that x(t) = x 0 + 2tξ 0 + Need to invert x 0 x(t). ξ = 2mx 2m 1, t 0 (t s)2mx 2m 1 (s)ds.
121 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1).
122 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate.
123 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate. Prove wave packets propagate out of {x 2 j h 1/(m+1) } also in time h (1 m)/(m+1).
124 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate. Prove wave packets propagate out of {x 2 j h 1/(m+1) } also in time h (1 m)/(m+1). O(h ) cross correlations, at least for timescales h (1 m)/(m+1) ǫ/2.
125 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate. Prove wave packets propagate out of {x 2 j h 1/(m+1) } also in time h (1 m)/(m+1). O(h ) cross correlations, at least for timescales h (1 m)/(m+1) ǫ/2. Prove approximate solution is close to actual solution for timescales h (1 m)/(m+1)+ǫ/2.
126 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate. Prove wave packets propagate out of {x 2 j h 1/(m+1) } also in time h (1 m)/(m+1). O(h ) cross correlations, at least for timescales h (1 m)/(m+1) ǫ/2. Prove approximate solution is close to actual solution for timescales h (1 m)/(m+1)+ǫ/2. Sum up h ǫ log(1/h) such approximations to estimate actual solution.
127 Dyadic decomposition Break up { x ǫ} into O(log(1/h)) regions where x 2 j h 1/(m+1). Good stationary phase estimates up to time h (1 m)/(m+1) dispersion estimate. Prove wave packets propagate out of {x 2 j h 1/(m+1) } also in time h (1 m)/(m+1). O(h ) cross correlations, at least for timescales h (1 m)/(m+1) ǫ/2. Prove approximate solution is close to actual solution for timescales h (1 m)/(m+1)+ǫ/2. Sum up h ǫ log(1/h) such approximations to estimate actual solution. Loss of (n 2)/2n comes from L q estimates of spherical harmonics.
Dispersive 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 informationSoliton-like Solutions to NLS on Compact Manifolds
Soliton-like Solutions to NLS on Compact Manifolds H. Christianson joint works with J. Marzuola (UNC), and with P. Albin (Jussieu and UIUC), J. Marzuola, and L. Thomann (Nantes) Department of Mathematics
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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationSome physical space heuristics for Strichartz estimates
Some physical space heuristics for Strichartz estimates Felipe Hernandez July 30, 2014 SPUR Final Paper, Summer 2014 Mentor Chenjie Fan Project suggested by Gigliola Staffilani Abstract This note records
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 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 informationBlow-up on manifolds with symmetry for the nonlinear Schröding
Blow-up on manifolds with symmetry for the nonlinear Schrödinger equation March, 27 2013 Université de Nice Euclidean L 2 -critical theory Consider the one dimensional equation i t u + u = u 4 u, t > 0,
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 informationSPREADING OF LAGRANGIAN REGULARITY ON RATIONAL INVARIANT TORI
SPREADING OF LAGRANGIAN REGULARITY ON RATIONAL INVARIANT TORI JARED WUNSCH Abstract. Let P h be a self-adjoint semiclassical pseudodifferential operator on a manifold M such that the bicharacteristic flow
More informationInégalités spectrales pour le contrôle des EDP linéaires : groupe de Schrödinger contre semigroupe de la chaleur.
Inégalités spectrales pour le contrôle des EDP linéaires : groupe de Schrödinger contre semigroupe de la chaleur. Luc Miller Université Paris Ouest Nanterre La Défense, France Pde s, Dispersion, Scattering
More informationMagnetic wells in dimension three
Magnetic wells in dimension three Yuri A. Kordyukov joint with Bernard Helffer & Nicolas Raymond & San Vũ Ngọc Magnetic Fields and Semiclassical Analysis Rennes, May 21, 2015 Yuri A. Kordyukov (Ufa) Magnetic
More informationOn L p resolvent and Carleman estimates on compacts manifolds
On L p resolvent and Carleman estimates on compacts manifolds David Dos Santos Ferreira Institut Élie Cartan Université de Lorraine Three days on Analysis and PDEs ICMAT, Tuesday June 3rd Collaborators
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 informationPROPAGATION THROUGH TRAPPED SETS AND SEMICLASSICAL RESOLVENT ESTIMATES. 1. Introduction
PROPAGATION THROUGH TRAPPED SETS AND SEMICLASSICAL RESOLVENT ESTIMATES KIRIL DATCHEV AND ANDRÁS VASY Abstract. Motivated by the study of resolvent estimates in the presence of trapping, we prove a semiclassical
More informationEigenfunction L p Estimates on Manifolds of Constant Negative Curvature
Eigenfunction L p Estimates on Manifolds of Constant Negative Curvature Melissa Tacy Department of Mathematics Australian National University melissa.tacy@anu.edu.au July 2010 Joint with Andrew Hassell
More informationQuantum ergodicity. Nalini Anantharaman. 22 août Université de Strasbourg
Quantum ergodicity Nalini Anantharaman Université de Strasbourg 22 août 2016 I. Quantum ergodicity on manifolds. II. QE on (discrete) graphs : regular graphs. III. QE on graphs : other models, perspectives.
More informationRESONANCES AND LOWER RESOLVENT BOUNDS
RESONANCES AND LOWER RESOLVENT BOUNDS KIRIL DATCHEV, SEMYON DYATLOV, AND MACIEJ ZWORSKI Abstract. We show how the presence of resonances close to the real axis implies exponential lower bounds on the norm
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 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 informationNOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS
NOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS JARED WUNSCH Note that these lectures overlap with Alex s to a degree, to ensure a smooth handoff between lecturers! Our notation is mostly, but not completely,
More informationPROPAGATION THROUGH TRAPPED SETS AND SEMICLASSICAL RESOLVENT ESTIMATES. 1. Introduction
PROPAGATION THROUGH TRAPPED SETS AND SEMICLASSICAL RESOLVENT ESTIMATES KIRIL DATCHEV AND ANDRÁS VASY Abstract. Motivated by the study of resolvent estimates in the presence of trapping, we prove a semiclassical
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 developments in mathematical Quantum Chaos, I
Recent developments in mathematical Quantum Chaos, I Steve Zelditch Johns Hopkins and Northwestern Harvard, November 21, 2009 Quantum chaos of eigenfunction Let {ϕ j } be an orthonormal basis of eigenfunctions
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 informationA PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION
A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION TERENCE TAO Abstract. Let d 1, and let u, v : R R d C be Schwartz space solutions to the Schrödinger
More informationHIGH-FREQUENCY RESOLVENT ESTIMATES ON ASYMPTOTICALLY EUCLIDEAN WARPED PRODUCTS
HIGH-FREQUENCY RESOLVENT ESTIMATES ON ASYMPTOTICALLY EUCLIDEAN WARPED PRODUCTS HANS CHRISTIANSON Abstract. We consider the resolvent on asymptotically Euclidean warped product manifolds in an appropriate
More informationThe Chern-Simons-Schrödinger equation
The Chern-Simons-Schrödinger equation Low regularity local wellposedness Baoping Liu, Paul Smith, Daniel Tataru University of California, Berkeley July 16, 2012 Paul Smith (UC Berkeley) Chern-Simons-Schrödinger
More informationFractal uncertainty principle and quantum chaos
Fractal uncertainty principle and quantum chaos Semyon Dyatlov (UC Berkeley/MIT) July 23, 2018 Semyon Dyatlov FUP and eigenfunctions July 23, 2018 1 / 11 Overview This talk presents two recent results
More informationA Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets George A. Hagedorn Happy 60 th birthday, Mr. Fritz! Abstract. Although real, normalized Gaussian wave packets minimize the product
More informationChapter 2 The Group U(1) and its Representations
Chapter 2 The Group U(1) and its Representations The simplest example of a Lie group is the group of rotations of the plane, with elements parametrized by a single number, the angle of rotation θ. It is
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 informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationStrichartz estimates on asymptotically hyperbolic manifolds
Strichartz estimates on asymptotically hyperbolic manifolds Jean-Marc Bouclet Abstract We prove local in time Strichartz estimates without loss for the restriction of the solution of the Schrödinger equation,
More informationDISPERSIVE ESTIMATES FOR WAVE EQUATIONS WITH ROUGH COEFFICIENTS
DISPERSIVE ESTIMATES FOR WAVE EQUATIONS WITH ROUGH COEFFICIENTS DANIEL TATARU AND DAN-ANDREI GEBA Abstract. We obtain a multiscale wave packet representation for the fundamental solution of the wave equation
More informationGlobal Harmonic Analysis and the Concentration of Eigenfunctions, Part II:
Global Harmonic Analysis and the Concentration of Eigenfunctions, Part II: Toponogov s theorem and improved Kakeya-Nikodym estimates for eigenfunctions on manifolds of nonpositive curvature Christopher
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 informationIntroduction to Pseudodifferential Operators
Introduction to Pseudodifferential Operators Mengxuan Yang Directed by Prof. Dean Baskin May, 206. Introductions and Motivations Classical Mechanics & Quantum Mechanics In classical mechanics, the status
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 informationBohr Sommerfeld Quantization Condition Derived by a Microlocal WKB Method
Vietnam Journal of Mathematics 32: SI (2004) 153 160 9LHWQDP -RXUQDO RI 0$7+(0$7,&6 9$67 Bohr Sommerfeld Quantization Condition Derived by a Microlocal WKB Method Setsuro Fujiié 1 and Maher Zerzeri 2 1
More information4. Supplementary Notes on Time and Space Evolution of a Neutrino Beam
Lecture Notes for Quantum Physics II & III 8.05 & 8.059 Academic Year 1996/1997 4. Supplementary Notes on Time and Space Evolution of a Neutrino Beam c D. Stelitano 1996 As an example of a two-state system
More informationBound-state solutions and well-posedness of the dispersion-managed nonlinear Schrödinger and related equations
Bound-state solutions and well-posedness of the dispersion-managed nonlinear Schrödinger and related equations J. Albert and E. Kahlil University of Oklahoma, Langston University 10th IMACS Conference,
More informationFOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS
Centre for Mathematical Sciences Mathematics, Faculty of Science FOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS. We make the Ansatz u(x, y) = ϕ(x)ψ(y) and look for a solution which satisfies the boundary
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
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 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 informationPage 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19
Page 404 Lecture : Simple Harmonic Oscillator: Energy Basis Date Given: 008/11/19 Date Revised: 008/11/19 Coordinate Basis Section 6. The One-Dimensional Simple Harmonic Oscillator: Coordinate Basis Page
More informationOn the stochastic nonlinear Schrödinger equation
On the stochastic nonlinear Schrödinger equation Annie Millet collaboration with Z. Brzezniak SAMM, Paris 1 and PMA Workshop Women in Applied Mathematics, Heraklion - May 3 211 Outline 1 The NL Shrödinger
More informationGrowth of Sobolev norms for the cubic NLS
Growth of Sobolev norms for the cubic NLS Benoit Pausader N. Tzvetkov. Brown U. Spectral theory and mathematical physics, Cergy, June 2016 Introduction We consider the cubic nonlinear Schrödinger equation
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 informationarxiv:math/ v1 [math.ap] 24 Apr 2003
ICM 2002 Vol. III 1 3 arxiv:math/0304397v1 [math.ap] 24 Apr 2003 Nonlinear Wave Equations Daniel Tataru Abstract The analysis of nonlinear wave equations has experienced a dramatic growth in the last ten
More informationPropagation Through Trapped Sets and Semiclassical Resolvent Estimates
Propagation Through Trapped Sets and Semiclassical Resolvent Estimates Kiril Datchev and András Vasy Let P D h 2 C V.x/, V 2 C0 1 estimates of the form.rn /. We are interested in semiclassical resolvent
More informationDecouplings and applications
April 27, 2018 Let Ξ be a collection of frequency points ξ on some curved, compact manifold S of diameter 1 in R n (e.g. the unit sphere S n 1 ) Let B R = B(c, R) be a ball with radius R 1. Let also a
More informationQuantum Quenches in Extended Systems
Quantum Quenches in Extended Systems Spyros Sotiriadis 1 Pasquale Calabrese 2 John Cardy 1,3 1 Oxford University, Rudolf Peierls Centre for Theoretical Physics, Oxford, UK 2 Dipartimento di Fisica Enrico
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 informationTRANSPORT IN POROUS MEDIA
1 TRANSPORT IN POROUS MEDIA G. ALLAIRE CMAP, Ecole Polytechnique 1. Introduction 2. Main result in an unbounded domain 3. Asymptotic expansions with drift 4. Two-scale convergence with drift 5. The case
More informationLong-term dynamics of nonlinear wave equations
Long-term dynamics of nonlinear wave equations W. Schlag (University of Chicago) Recent Developments & Future Directions, September 2014 Wave maps Let (M, g) be a Riemannian manifold, and u : R 1+d t,x
More informationNotes on fractal uncertainty principle version 0.5 (October 4, 2017) Semyon Dyatlov
Notes on fractal uncertainty principle version 0.5 (October 4, 2017) Semyon Dyatlov E-mail address: dyatlov@math.mit.edu Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts
More informationRADIATION 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 informationNONLINEAR PROPAGATION OF WAVE PACKETS. Ritsumeikan University, and 22
NONLINEAR PROPAGATION OF WAVE PACKETS CLOTILDE FERMANIAN KAMMERER Ritsumeikan University, 21-1 - 21 and 22 Our aim in this lecture is to explain the proof of a recent Theorem obtained in collaboration
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationHeat Kernel Asymptotics on Manifolds
Heat Kernel Asymptotics on Manifolds Ivan Avramidi New Mexico Tech Motivation Evolution Eqs (Heat transfer, Diffusion) Quantum Theory and Statistical Physics (Partition Function, Correlation Functions)
More informationCounting stationary modes: a discrete view of geometry and dynamics
Counting stationary modes: a discrete view of geometry and dynamics Stéphane Nonnenmacher Institut de Physique Théorique, CEA Saclay September 20th, 2012 Weyl Law at 100, Fields Institute Outline A (sketchy)
More informationThe Ricci Flow Approach to 3-Manifold Topology. John Lott
The Ricci Flow Approach to 3-Manifold Topology John Lott Two-dimensional topology All of the compact surfaces that anyone has ever seen : These are all of the compact connected oriented surfaces without
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 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 informationSupersymmetric Quantum Mechanics and Geometry by Nicholas Mee of Trinity College, Cambridge. October 1989
Supersymmetric Quantum Mechanics and Geometry by Nicholas Mee of Trinity College Cambridge October 1989 Preface This dissertation is the result of my own individual effort except where reference is explicitly
More informationThe Higgins-Selkov oscillator
The Higgins-Selkov oscillator May 14, 2014 Here I analyse the long-time behaviour of the Higgins-Selkov oscillator. The system is ẋ = k 0 k 1 xy 2, (1 ẏ = k 1 xy 2 k 2 y. (2 The unknowns x and y, being
More informationSEMICLASSICAL LAGRANGIAN DISTRIBUTIONS
SEMICLASSICAL LAGRANGIAN DISTRIBUTIONS SEMYON DYATLOV Abstract. These are (rather sloppy) notes for the talk given in UC Berkeley in March 2012, attempting to explain the global theory of semiclassical
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 informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationPhysics 342 Lecture 23. Radial Separation. Lecture 23. Physics 342 Quantum Mechanics I
Physics 342 Lecture 23 Radial Separation Lecture 23 Physics 342 Quantum Mechanics I Friday, March 26th, 2010 We begin our spherical solutions with the simplest possible case zero potential. Aside from
More information( ) in the interaction picture arises only
Physics 606, Quantum Mechanics, Final Exam NAME 1 Atomic transitions due to time-dependent electric field Consider a hydrogen atom which is in its ground state for t < 0 For t > 0 it is subjected to a
More informationTransparent connections
The abelian case A definition (M, g) is a closed Riemannian manifold, d = dim M. E M is a rank n complex vector bundle with a Hermitian metric (i.e. a U(n)-bundle). is a Hermitian (i.e. metric) connection
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationDECOUPLING INEQUALITIES IN HARMONIC ANALYSIS AND APPLICATIONS
DECOUPLING INEQUALITIES IN HARMONIC ANALYSIS AND APPLICATIONS 1 NOTATION AND STATEMENT S compact smooth hypersurface in R n with positive definite second fundamental form ( Examples: sphere S d 1, truncated
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 informationHamiltonian Systems of Negative Curvature are Hyperbolic
Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationVery Weak Turbulence for Certain Dispersive Equations
Very Weak Turbulence for Certain Dispersive Equations Gigliola Staffilani Massachusetts Institute of Technology December, 2010 Gigliola Staffilani (MIT) Very weak turbulence and dispersive PDE December,
More informationYou may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.
MATHEMATICAL TRIPOS Part IB Thursday 7 June 2007 9 to 12 PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each question in Section
More informationReproducing formulas associated with symbols
Reproducing formulas associated with symbols Filippo De Mari Ernesto De Vito Università di Genova, Italy Modern Methods of Time-Frequency Analysis II Workshop on Applied Coorbit space theory September
More informationDecoupling Lecture 1
18.118 Decoupling Lecture 1 Instructor: Larry Guth Trans. : Sarah Tammen September 7, 2017 Decoupling theory is a branch of Fourier analysis that is recent in origin and that has many applications to problems
More informationPhysics 221A Fall 1996 Notes 16 Bloch s Theorem and Band Structure in One Dimension
Physics 221A Fall 1996 Notes 16 Bloch s Theorem and Band Structure in One Dimension In these notes we examine Bloch s theorem and band structure in problems with periodic potentials, as a part of our survey
More informationarxiv: v1 [math.ds] 29 May 2018
NOTES ON HYPERBOLIC DYNAMICS SEMYON DYATLOV arxiv:1805.11660v1 [math.ds] 29 May 2018 Abstract. These expository notes present a proof of the Stable/Unstable Manifold Theorem (also known as the Hadamard
More informationComplex Dynamic Systems: Qualitative vs Quantitative analysis
Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems Chiara Mocenni Department of Information Engineering and Mathematics University of Siena (mocenni@diism.unisi.it) Dynamic
More information