Dmitry Pelinovsky Department of Mathematics, McMaster University, Canada

Similar documents
Diagonalization of the Coupled-Mode System.

Spectra of positive and negative energies in the linearized NLS problem

Spectra of Positive and Negative Energies in the Linearized NLS Problem

Nonlinear instability of half-solitons on star graphs

DRIFT OF SPECTRALLY STABLE SHIFTED STATES ON STAR GRAPHS

Finding eigenvalues for matrices acting on subspaces

Rogue periodic waves for mkdv and NLS equations

STABILITY INDICES FOR CONSTRAINED SELF-ADJOINT OPERATORS

Periodic oscillations in the Gross-Pitaevskii equation with a parabolic potential

SHORT-WAVE TRANSVERSE INSTABILITIES OF LINE SOLITONS OF THE TWO-DIMENSIONAL HYPERBOLIC NONLINEAR SCHRÖDINGER EQUATION

A SYMPLECTIC PERSPECTIVE ON CONSTRAINED EIGENVALUE PROBLEMS

Bifurcations of Multi-Vortex Configurations in Rotating Bose Einstein Condensates

Spectral stability of periodic waves in dispersive models

Separation of Variables in Linear PDE: One-Dimensional Problems

Orbital Stability of Dirac Solitons

NOTES ON LINEAR ODES

ORBITAL STABILITY OF SOLITARY WAVES FOR A 2D-BOUSSINESQ SYSTEM

The following definition is fundamental.

Nonlinear Modulational Instability of Dispersive PDE Models

Stability of periodic waves in the defocusing cubic NLS equation

Instability, index theorem, and exponential trichotomy for Linear Hamiltonian PDEs

A converse to the Ambrosetti-Prodi theorem

Nonlinear stability of time-periodic viscous shocks. Margaret Beck Brown University

235 Final exam review questions

Ground state on the bounded and unbounded graphs

A review of stability and dynamical behaviors of differential equations:

Numerical Methods 2: Hill s Method

The Krein signature, Krein eigenvalues, and the Krein Oscillation Theorem

Existence of (Generalized) Breathers in Periodic Media

NATIONAL UNIVERSITY OF SINGAPORE DEPARTMENT OF MATHEMATICS SEMESTER 2 EXAMINATION, AY 2010/2011. Linear Algebra II. May 2011 Time allowed :

5 Compact linear operators

MATH 115A: SAMPLE FINAL SOLUTIONS

L 2 Geometry of the Symplectomorphism Group

Stability and instability of nonlinear defect states in the coupled mode equations Analytical and numerical study

Mathematical foundations - linear algebra

Periodic finite-genus solutions of the KdV equation are orbitally stable

On the spectral and orbital stability of spatially periodic stationary solutions of generalized Korteweg-de Vries equations

Functional Analysis Review

M ath. Res. Lett. 17 (2010), no. 1, c International Press 2010 A SIMPLE CRITERION OF TRANSVERSE LINEAR INSTABILITY FOR SOLITARY WAVES

EXAM MATHEMATICAL METHODS OF PHYSICS. TRACK ANALYSIS (Chapters I-V). Thursday, June 7th,

Chapter 7. Canonical Forms. 7.1 Eigenvalues and Eigenvectors

1. Introduction. We study the spectral stability of small-amplitude periodic traveling waves in scalar Hamiltonian partial differential equations:

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

Dispersion relations, stability and linearization

Dispersive Estimates for Charge transfer models

Presenter: Noriyoshi Fukaya

Asymptotic distribution of eigenvalues of Laplace operator

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

Quantum Mechanics for Mathematicians: Energy, Momentum, and the Quantum Free Particle

Perturbation theory for eigenvalues of Hermitian pencils. Christian Mehl Institut für Mathematik TU Berlin, Germany. 9th Elgersburg Workshop

On the spectra of periodic waves for infinite-dimensional Hamiltonian systems

Lecture 7: Positive Semidefinite Matrices

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

EIGENVALUE PROBLEMS. Background on eigenvalues/ eigenvectors / decompositions. Perturbation analysis, condition numbers..

Stability of traveling waves with a point vortex

Hilbert Space Problems

Review and problem list for Applied Math I

Math Abstract Linear Algebra Fall 2011, section E1 Practice Final. This is a (long) practice exam. The real exam will consist of 6 problems.

Singular Limits for Integrable Equations

B5.6 Nonlinear Systems

Lecture 4 Eigenvalue problems

Definition (T -invariant subspace) Example. Example

Totally quasi-umbilic timelike surfaces in R 1,2

Hamiltonian partial differential equations and Painlevé transcendents

B5.6 Nonlinear Systems

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

A Computational Approach to Study a Logistic Equation

Math Ordinary Differential Equations

PHYSICS 234 HOMEWORK 2 SOLUTIONS. So the eigenvalues are 1, 2, 4. To find the eigenvector for ω = 1 we have b c.

Chapter 7: Symmetric Matrices and Quadratic Forms

A Brief Outline of Math 355

Diagonalizing Matrices

Krein-Rutman Theorem and the Principal Eigenvalue

Physics Letters A 374 (2010) Contents lists available at ScienceDirect. Physics Letters A.

MATH 205C: STATIONARY PHASE LEMMA

Physics 137A Quantum Mechanics Fall 2012 Midterm II - Solutions

Problem set 3: Solutions Math 207B, Winter Suppose that u(x) is a non-zero solution of the eigenvalue problem. (u ) 2 dx, u 2 dx.

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Quasipatterns in surface wave experiments

Final: Solutions Math 118A, Fall 2013

1. Matrix multiplication and Pauli Matrices: Pauli matrices are the 2 2 matrices. 1 0 i 0. 0 i

Basic Calculus Review

Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005

SYLLABUS. 1 Linear maps and matrices

Dmitry Pelinovsky 1,2, * 1. Introduction

Complex Behavior in Coupled Nonlinear Waveguides. Roy Goodman, New Jersey Institute of Technology

ON THE SPECTRUM OF THE DIRICHLET LAPLACIAN IN A NARROW STRIP

Chapter 7: Bounded Operators in Hilbert Spaces

BOUNDED WEAK SOLUTION FOR THE HAMILTONIAN SYSTEM. Q-Heung Choi and Tacksun Jung

Partial Differential Equations

A New Proof of Anti-Maximum Principle Via A Bifurcation Approach

2. Examples of Integrable Equations

Orbital stability in the cubic defocusing NLS equation: I. Cnoidal periodic waves

Numerical computation of the finite-genus solutions of the Korteweg-de Vries equation via Riemann Hilbert problems

Evans function review

Hamiltonian partial differential equations and Painlevé transcendents

The stability analysis of the periodic traveling wave solutions of the mkdv equation

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

MP463 QUANTUM MECHANICS

Transpose & Dot Product

Transcription:

Spectrum of the linearized NLS problem Dmitry Pelinovsky Department of Mathematics, McMaster University, Canada Collaboration: Marina Chugunova (McMaster, Canada) Scipio Cuccagna (Modena and Reggio Emilia, Italy) Vitali Vougalter (Notre Dame, USA) References: Comm. Pure Appl. Math. 58, 1 (2005) Proc. Roy. Soc. Lond. A 461, 783 (2005) Mathematical Physics Seminar, Caltech, April 27 2005

Stability problem in Hamiltonian systems Hamiltonian PDE du dt = J h(u), u(t) X(Rn, R m ) where J + = J and h : X R Linearization at the stationary solution u(t) = u 0 + ve λt, where u 0 X(R n, R m ) and λ C Spectral problem JHv = λv, where H + = H and v X(R n, C m ) 2

Main questions Let stationary solutions u 0 decay exponentially as x Let operator J be invertible Let operator H have positive continuous spectrum Let operator H have finitely many isolated eigenvalues Let operator JH have continuous spectrum at the imaginary axis 3

Main questions Let stationary solutions u 0 decay exponentially as x Let operator J be invertible Let operator H have positive continuous spectrum Let operator H have finitely many isolated eigenvalues Let operator JH have continuous spectrum at the imaginary axis Is there a relation between isolated and embedded eigenvalues of JH and isolated eigenvalues of H? Is there a relation between unstable eigenvalues of JH with Re(λ) > 0 and negative eigenvalues of H? 3

Classes of Hamiltonian evolution equations Nonlinear Schrödinger equation (NLS) iψ t = ψ xx + U(x)ψ + F ( ψ 2 )ψ (J, H) satisfy the main assumptions Korteweg De Vries equation (KdV) u t + x (f(u) + u xx ) = 0 J is not invertible but H satisfy the main assumptions Massive Thirring model (MTM) i(u t + u x ) + v + ūw (u, ū, v, v) = 0, i(v t v x ) + u + v W (u, ū, v, v) = 0 J is invertible but H have positive and negative continuous spectrum 4

Review of other results Grillakis, Shatah, Strauss, 1990 If H has no negative eigenvalue, then JH has no unstable eigenvalues. If H has odd number of negative eigenvalues, then JH has at least one real unstable eigenvalue. Number of unstable eigenvalues of JH is bounded by the number of negative eigenvalues of H. 5

Review of other results Grillakis, Shatah, Strauss, 1990 If H has no negative eigenvalue, then JH has no unstable eigenvalues. If H has odd number of negative eigenvalues, then JH has at least one real unstable eigenvalue. Number of unstable eigenvalues of JH is bounded by the number of negative eigenvalues of H. Kapitula, Kevrekidis, Sandstede, 2004 Closure relation for negative index N unstable (JH) + N negative Krein (JH) = N negative (H) 5

Review of our results: formalism iψ t = ψ + U(x)ψ + F ( ψ 2 )ψ Assume that there exist exponentially decaying C solutions φ + U(x)φ + F (φ 2 )φ + ωφ = 0, where φ : R n R and ω > 0. Assume that U(x) decay exponentially and F (u) C, F (0) = 0 Apply the linearization transformation, ψ(x, t) = e iωt ( φ(x) + ϕ(x)e izt + θ(x)e i zt), where (ϕ, θ) : R n C 2 and z = iλ C. 6

Review of our results : formalism The eigenvalue problem becomes where and σ 3 = ( 1 0 0 1 ), H = σ 3 Hψ = zψ, ( + ω + f(x) g(x) g(x) + ω + f(x) f(x) = U(x) + F (φ 2 ) + φ 2 F (φ 2 ), g(x) = φ 2 F (φ 2 ). ), 7

Review of our results : formalism The eigenvalue problem becomes where and σ 3 = ( 1 0 0 1 ), H = σ 3 Hψ = zψ, ( + ω + f(x) g(x) g(x) + ω + f(x) f(x) = U(x) + F (φ 2 ) + φ 2 F (φ 2 ), g(x) = φ 2 F (φ 2 ). ), Equivalent form: where and L + u = zw, L w = zu, L ± = + ω + f(x) ± g(x) ψ = (u + w, u w) T. 7

Review of our main results : formalism Linearized energy h = 1 2 ψ, Hψ = (u, L +u) + (w, L w) Skew-orthogonal projections ψ, ψ = 1 2 σ 3ψ, ψ = (u, w) + (w, u) Constrained subspace: no kernel of JH X 0 = {ψ L 2 : σ 3 ψ 0, ψ = σ 3 ψ 1, ψ = 0}, where Hψ 0 = 0, σ 3 Hψ 1 = ψ 0 Constrained subspace: no point spectrum of JH X c = {ψ X 0 : { σ 3 ψ j, ψ = 0} zj σ p (JH) }, 8

Spectrum of (L +, L ) and JH 9

Review of our main results Assuming that dim(ker(h)) = 1, N neg (H) = N neg (H) p(ω), X0 L 2 where p(ω) = 1 for ω φ 2 L 2 > 0 and p(ω) = 0 otherwise. 10

Review of our main results Assuming that dim(ker(h)) = 1, N neg (H) = N neg (H) p(ω), X0 L 2 where p(ω) = 1 for ω φ 2 L 2 > 0 and p(ω) = 0 otherwise. Assuming that all eigenvalues of JH are semi-simple, N neg (H) = N neg (H) 2Nreal (JH) N imag(jh) 2N comp (JH) Xc X0 where Nneg(JH) correspond to negative Krein signatures 10

Review of our main results Assuming that dim(ker(h)) = 1, N neg (H) = N neg (H) p(ω), X0 L 2 where p(ω) = 1 for ω φ 2 L 2 > 0 and p(ω) = 0 otherwise. Assuming that all eigenvalues of JH are semi-simple, N neg (H) = N neg (H) 2Nreal (JH) N imag(jh) 2N comp (JH) Xc X0 where Nneg(JH) correspond to negative Krein signatures Assuming end-point conditions and simple embedded eigenvalues, ψ X c : ψ, Hψ > 0 10

Methods of proofs I. Bounds on the number of isolated eigenvalues: Calculus of constrained Hilbert spaces Sylvester s Inertia Law Rayleigh-Ritz Theorem Pontryagin Krein spaces with sign-indefinite metric 11

Methods of proofs I. Bounds on the number of isolated eigenvalues: Calculus of constrained Hilbert spaces Sylvester s Inertia Law Rayleigh-Ritz Theorem Pontryagin Krein spaces with sign-indefinite metric II. Positivity of the essential spectrum: Kato s wave operator formalism Wave function decomposition Smoothing decay estimate on the linearized time evolution 11

Quadratic forms and skew-symmetric orthogonality L + u = zw, L w = zu, Let z = z 0 be a simple real eigenvalue with the eigenvector (u R, w R ) (u R, L + u R ) = (w R, L w R ) 0 12

Quadratic forms and skew-symmetric orthogonality L + u = zw, L w = zu, Let z = z 0 be a simple real eigenvalue with the eigenvector (u R, w R ) (u R, L + u R ) = (w R, L w R ) 0 Let z = iz 0 be a simple imaginary eigenvalue with the eigenvector (u R, iw I ) (u R, L + u R ) = (w I, L w I ) 0 12

Quadratic forms and skew-symmetric orthogonality L + u = zw, L w = zu, Let z = z 0 be a simple real eigenvalue with the eigenvector (u R, w R ) (u R, L + u R ) = (w R, L w R ) 0 Let z = iz 0 be a simple imaginary eigenvalue with the eigenvector (u R, iw I ) (u R, L + u R ) = (w I, L w I ) 0 Let z = z 0 be a simple complex eigenvalue with the eigenvector (u R + iu I, w R + iw I ) where M = (u, L + u) = (w, L w) = (c, Mc) 0, ) = ( (ur, L + u R ) (u R, L + u I ) (u I, L + u R ) (u I, L + u I ) ( (wr, L w R ) (w R, L w I ) (w I, L w R ) (w I, L w I ) ) 12

Constrained Hilbert space Let z i and z j be two distinct eigenvalues with eigenvectors (u i, w i ) and (u j, w j ) (u i, w j ) = (w i, u j ) = 0 i j Constrained subspace with no point spectrum of JH X c = {(u, w) L 2 : {(u, w j ) = 0, (w, u j ) = 0} zj σ p (JH) }, Main question: N neg (H) N neg (H) =? L 2 Xc 13

Main Theorem I : bounds on isolated eigenvalues Let L be a self-adjoint operator on X L 2 with a finite negative index N neg, empty kernel, and positive essential spectrum. Let X c be the constrained linear subspace on linearly independent vectors: { } X c = v X : {(v, v j ) = 0} N j=1 Let the matrix A be defined by Then, A i,j = (v i, L 1 v j ), N neg (L) = N neg (L) N neg (A), Xc X 1 i, j N 1 i, j N 14

Application of the Main Theorem I Consider two matrices A + and A for two operators L + and L constrained with two sets of eigenfunctions {w j } and {u j } 15

Application of the Main Theorem I Consider two matrices A + and A for two operators L + and L constrained with two sets of eigenfunctions {w j } and {u j } Due to skew-orthogonality, the matrices A ± are block-diagonal. For real eigenvalue z = z 0 with the eigenvector (u R, w R ) A + j,j = A j,j = 1 z0 2 (u R, L + u R ) = 1 z0(w 2 R, L w R ). For imaginary eigenvalue z = iz 0 with the eigenvector (u R, iw I ) A + j,j = A j,j = 1 z0 2 (u R, L + u R ) = 1 z0(w 2 I, L w I ). 15

Application of the Main Theorem I For complex eigenvalue z = z R + iz I with the eigenvector (u R + iu I, w R + iw I ) ( ) A + i,j = A i,j = 1 zr Z2 z M, Z = I zr 2 + z2 z I I z R. 16

Application of the Main Theorem I For complex eigenvalue z = z R + iz I with the eigenvector (u R + iu I, w R + iw I ) ( ) A + i,j = A i,j = 1 zr Z2 z M, Z = I zr 2 + z2 z I I z R. Individual counts of eigenvalues N neg (L + ) = N neg (L + ) Nreal (JH) N imag (JH) N comp(jh) Xc X0 and N neg (L ) = N neg (L ) Nreal (JH) N imag + (JH) N comp(jh) Xc X0 End of proof of I 16

Projections and decompositions Birman Schwinger representation of the potentials ( ) f(x) g(x) V (x) = = B (x)a(x) g(x) f(x) and of the spectral problem (σ 3 ( + ω) z) ψ = B Aψ, such that (I + Q 0 (z)) Ψ = 0, Q 0 (z) = A (σ 3 ( + ω) z) 1 B, 17

Projections and decompositions Birman Schwinger representation of the potentials ( ) f(x) g(x) V (x) = = B (x)a(x) g(x) f(x) and of the spectral problem (σ 3 ( + ω) z) ψ = B Aψ, such that (I + Q 0 (z)) Ψ = 0, Q 0 (z) = A (σ 3 ( + ω) z) 1 B, The set of isolated eigenvalues of σ 3 H is finite No resonances occur in the interior points There exists a spectrum-invariant Jordan-block decomposition L 2 = N g (JH z) X c z σ p (JH) 17

Main Theorem II : positivity of the essential spectrum Assume that no resonance exist at the endpoints of σ e (JH) Assume that no multiple embedded eigenvalues exist in σ e (JH) R n = R 3 18

Main Theorem II : positivity of the essential spectrum Assume that no resonance exist at the endpoints of σ e (JH) Assume that no multiple embedded eigenvalues exist in σ e (JH) R n = R 3 There exists isomorphisms between Hilbert spaces W : L 2 X c, Z : X c L 2 W and Z are inverse of each other, where 1 + lim ɛ 0 + 2πi + u X c, v L 2 : Zu, v = u, v A(σ 3 H λ iɛ) 1 u, B(σ 3 ( +ω) λ iɛ) 1 v dλ, 18

Application of the Main Theorem II It follows from the wave operators that W σ 3 = σ 3 Z, Z σ 3 = σ 3 W, Zσ 3 H = σ 3 ( + ω)z. 19

Application of the Main Theorem II It follows from the wave operators that W σ 3 = σ 3 Z, Z σ 3 = σ 3 W, Zσ 3 H = σ 3 ( + ω)z. If ψ X c, there exists ˆψ L 2, such that ψ = W ˆψ. Then ψ, Hψ = W ˆψ, σ 3 σ 3 HW ˆψ = W ˆψ, (σ 3 H) Z σ 3 ˆψ = σ 3 ( + ω)zw ˆψ, σ 3 ˆψ = ( + ω)i ˆψ, ˆψ > 0. End of proof of II. 19

Extensions of the main results Fermi Golden Rule for an embedded real eigenvalue It disappears if it has positive energy It becomes complex eigenvalue if it has negative energy 20

Extensions of the main results Fermi Golden Rule for an embedded real eigenvalue It disappears if it has positive energy It becomes complex eigenvalue if it has negative energy Jordan blocks for multiple real eigenvalues of zero energy N real + = N real N real + = N real for even multiplicity ± 1 for odd multiplicity 20

Extensions of the main results Fermi Golden Rule for an embedded real eigenvalue It disappears if it has positive energy It becomes complex eigenvalue if it has negative energy Jordan blocks for multiple real eigenvalues of zero energy N real + = N real N real + = N real for even multiplicity ± 1 for odd multiplicity Weighted spaces for endpoint resonance and eigenvalue Resonance results in real eigenvalue of positive energy Eigenvalue repeats the scenario of embedded eigenvalue 20

Example: two coupled NLS equations iψ 1t + ψ 1xx + iψ 2t + ψ 2xx + ( ψ 1 2 + χ ψ 2 2) ψ 1 = 0 ( χ ψ 1 2 + ψ 2 2) ψ 2 = 0 21

Example: two coupled NLS equations Lyapunov-Schmidt ( reductions near local bifurcation boundary ψ 1 = e it ) ( ) 2 sechx + O(ɛ 2 ), ψ 2 = e iωt ɛφ n (x) + O(ɛ 3 ), where ( ) x 2 + ω n (χ) 2χ sech 2 (x) φ n (x) = 0 By continuity of eigenvalues, we count isolated eigenvalues N neg (H) = 2n, where n is the number of zeros of φ n (x). Therefore, 2N real (JH) + N imag(jh) + 2N comp (JH) = 2n 22

Example: two coupled NLS equations n = 1 23

Example: two coupled NLS equations n = 2 24

Work in progress Bounds on N real + (JH) in terms of positive eigenvalues of H Relation between bifurcations of resonances in JH and H What if continuous spectrum of H is sign-indefinite? What if J is not invertible? Dynamics of nonlinear waves beyond the linearized system 25