Hylomorphic solitons and their dynamics

Similar documents
HYLOMORPHIC SOLITONS ON LATTICES. Vieri Benci. Donato Fortunato. To our friend and colleague Louis Nirenberg, with affection and admiration.

Hylomorphic solitons in the nonlinear Klein-Gordon equation

Some results on the nonlinear Klein-Gordon-Maxwell equations

On the relation between scaling properties of functionals and existence of constrained minimizers

Para el cumpleaños del egregio profesor Ireneo Peral

AN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS. Vieri Benci Donato Fortunato. 1. Introduction

A minimization problem for the Nonlinear

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

M. Badiale - V. Benci - S. Rolando SOLITARY WAVES: PHYSICAL ASPECTS AND MATHEMATICAL RESULTS

Necessary Conditions and Sufficient Conditions for Global Existence in the Nonlinear Schrödinger Equation

Scaling properties of functionals and existence of constrained minimizers

Existence of a ground state and blow-up problem for a nonlinear Schrödinger equation with critical growth

Some nonlinear elliptic equations in R N

arxiv: v1 [math.ap] 29 Oct 2011

Nonlinear instability of half-solitons on star graphs

Singular Limits of the Klein-Gordon Equation

Quantized Vortex Stability and Dynamics in Superfluidity and Superconductivity

A Variational Analysis of a Gauged Nonlinear Schrödinger Equation

Recent developments on the global behavior to critical nonlinear dispersive equations. Carlos E. Kenig

LECTURE 3: Quantization and QFT

Nonlinear Wave Equations and Solitary Wave Solutions in Mathematical Physics

Quantum Physics III (8.06) Spring 2007 FINAL EXAMINATION Monday May 21, 9:00 am You have 3 hours.

Effective Dynamics of Solitons I M Sigal

A PERIODICITY PROBLEM FOR THE KORTEWEG DE VRIES AND STURM LIOUVILLE EQUATIONS. THEIR CONNECTION WITH ALGEBRAIC GEOMETRY

In this paper we are concerned with the following nonlinear field equation:

Stability of solitary waves for nonlinear Schrödinger equations with inhomogeneous nonlinearities

Vortex knots dynamics and momenta of a tangle:

Yair Zarmi Physics Department & Jacob Blaustein Institutes for Desert Research Ben-Gurion University of the Negev Midreshet Ben-Gurion, Israel

Bielefeld Course on Nonlinear Waves - June 29, Department of Mathematics University of North Carolina, Chapel Hill. Solitons on Manifolds

Compactness results and applications to some zero mass elliptic problems

On Chern-Simons-Schrödinger equations including a vortex point

129 Lecture Notes Relativistic Quantum Mechanics

A new integrable system: The interacting soliton of the BO

ANALYTIC SMOOTHING EFFECT FOR NONLI TitleSCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS. Citation Osaka Journal of Mathematics.

Symmetries in Semiclassical Mechanics

Global well-posedness for semi-linear Wave and Schrödinger equations. Slim Ibrahim

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

On the Second Minimax Level of the Scalar Field Equation and Symmetry Breaking

A nodal solution of the scalar field equation at the second minimax level

Math 575-Lecture 26. KdV equation. Derivation of KdV

Semi-Classical Theory of Radiative Transitions

Dispersive nonlinear partial differential equations

Solitons : An Introduction

Nonlinear Schrödinger equation with combined power-type nonlinearities and harmonic potential

Lucio Demeio Dipartimento di Ingegneria Industriale e delle Scienze Matematiche

Alexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011

DISPERSIVE EQUATIONS: A SURVEY

Stochastic nonlinear Schrödinger equations and modulation of solitary waves

POSITIVE GROUND STATE SOLUTIONS FOR QUASICRITICAL KLEIN-GORDON-MAXWELL TYPE SYSTEMS WITH POTENTIAL VANISHING AT INFINITY

2.4 Parity transformation

Dynamics of energy-critical wave equation

Soliton dynamics and scattering

General Relativity in a Nutshell

Classical-quantum Correspondence and Wave Packet Solutions of the Dirac Equation in a Curved Spacetime

Physics 106a, Caltech 13 November, Lecture 13: Action, Hamilton-Jacobi Theory. Action-Angle Variables

On the Schrödinger Equation in R N under the Effect of a General Nonlinear Term

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

Opinions on quantum mechanics. CHAPTER 6 Quantum Mechanics II. 6.1: The Schrödinger Wave Equation. Normalization and Probability

Physics 486 Discussion 5 Piecewise Potentials

Sharp blow-up criteria for the Davey-Stewartson system in R 3

Final Exam. Tuesday, May 8, Starting at 8:30 a.m., Hoyt Hall.

An introduction to Birkhoff normal form

Superposition of electromagnetic waves

1-D cubic NLS with several Diracs as initial data and consequences

Exact Travelling Wave Solutions of the Coupled Klein-Gordon Equation by the Infinite Series Method

LECTURE 4 WAVE PACKETS

KAM for quasi-linear KdV. Pietro Baldi, Massimiliano Berti, Riccardo Montalto

16.1. PROBLEM SET I 197

DECAY ESTIMATES FOR THE KLEIN-GORDON EQUATION IN CURVED SPACETIME

Waves and the Schroedinger Equation

Gravitation. Adrian Ferent. This is a new quantum gravity theory which breaks the wall of Planck scale. Abstract

Nonlinear Schrödinger Equation BAOXIANG WANG. Talk at Tsinghua University 2012,3,16. School of Mathematical Sciences, Peking University.

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

The above dispersion relation results when a plane wave Ψ ( r,t

TOPICS IN NONLINEAR ANALYSIS AND APPLICATIONS. Dipartimento di Matematica e Applicazioni Università di Milano Bicocca March 15-16, 2017

Waves in Honeycomb Structures

Artificial boundary conditions for dispersive equations. Christophe Besse

Solitons and point particles

Spectral theory for magnetic Schrödinger operators and applicatio. (after Bauman-Calderer-Liu-Phillips, Pan, Helffer-Pan)

Rapporto di ricerca Research report

Geometry and Physics. Amer Iqbal. March 4, 2010

Asymptotic behavior of Ginzburg-Landau equations of superfluidity

Energy transfer model and large periodic boundary value problem for the quintic NLS

Dispersion relations, stability and linearization

Hamiltonian aspects of fluid dynamics

Energy-preserving Pseudo-spectral Methods for Klein-Gordon-Schrödinger Equations

Heat kernels of some Schrödinger operators

ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang

Problem 1: Spin 1 2. particles (10 points)

On the stability of filament flows and Schrödinger maps

Derivation of the Nonlinear Schrödinger Equation. from First Principles. Theodore Bodurov

MULTIPLE POSITIVE SOLUTIONS FOR A KIRCHHOFF TYPE PROBLEM

Presenter: Noriyoshi Fukaya

Diagonalization of the Coupled-Mode System.

MATHEMATICAL STRUCTURES IN CONTINUOUS DYNAMICAL SYSTEMS

arxiv: v1 [math.ap] 20 Nov 2007

PAPER 84 QUANTUM FLUIDS

Solution for a non-homogeneous Klein-Gordon Equation with 5th Degree Polynomial Forcing Function

A RECURRENCE THEOREM ON THE SOLUTIONS TO THE 2D EULER EQUATION

Asymptotic stability for solitons of the Gross-Pitaevskii and Landau-Lifshitz equations

Transcription:

Hylomorphic solitons and their dynamics Vieri Benci Dipartimento di Matematica Applicata U. Dini Università di Pisa 18th May 2009 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 1 / 50

Types of waves Linear equations (with constant coefficients) produce waves which can be classified in two classes: Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 2 / 50

Types of waves Linear equations (with constant coefficients) produce waves which can be classified in two classes: non-dispersive waves dispersive waves. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 2 / 50

Types of waves Linear equations (with constant coefficients) produce waves which can be classified in two classes: non-dispersive waves dispersive waves. In the nonlinear case other very interesting phenomena may occur. solitary waves solitons vortices Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 2 / 50

Linear waves In the linear case, the dispersion phenomenon can be understood looking at the Fourier expansion of a solution: ψ (t, x) = a (k) e i(k x ωkt) dk ω k = ± k non-dispersive waves ω k = ± m 2 + k 2 dispersive waves Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 3 / 50

Linear waves In the linear case, the dispersion phenomenon can be understood looking at the Fourier expansion of a solution: ψ (t, x) = a (k) e i(k x ωkt) dk ω k = ± k non-dispersive waves ω k = ± m 2 + k 2 dispersive waves Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 3 / 50

Linear waves In the linear case, the dispersion phenomenon can be understood looking at the Fourier expansion of a solution: ψ (t, x) = a (k) e i(k x ωkt) dk ω k = ± k non-dispersive waves ω k = ± m 2 + k 2 dispersive waves Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 3 / 50

Non-dispersive waves: D Alembert equation D Alembert ψ = 0 (1) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 4 / 50

Dispersive waves: Klein-Gordon equation Klein-Gordon ψ + m 2 ψ = 0 (2) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 5 / 50

Nonlinear phenomena: solitary waves, solitons and vortices In this talk, we will use the following definitions: A solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 6 / 50

Nonlinear phenomena: solitary waves, solitons and vortices In this talk, we will use the following definitions: A solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A soliton is a solitary wave which exhibits some strong form of stability so that it has a particle-like behavior. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 6 / 50

Nonlinear phenomena: solitary waves, solitons and vortices In this talk, we will use the following definitions: A solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A soliton is a solitary wave which exhibits some strong form of stability so that it has a particle-like behavior. A vortex as a solitary wave with a non vanishing angular momentum. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 6 / 50

Standing solitary waves: NWE NWE ψ + ψ 1 + ψ = 0 (3) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 7 / 50

Travelling solitary waves Travelling waves ψ + ψ 1 + ψ = 0 (4) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 8 / 50

Vortices: NWE NWE ψ + ψ 1 + ψ = 0; ψ(t, x) = u(r)ei(θ ωt) (5) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 9 / 50

Vortices with l = 3 in NWE NWE ψ + ψ 1 + ψ = 0; ψ(t, x) = u(r)ei(3θ ωt) (6) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 10 / 50

Vortices with l = 8 in NWE NWE ψ + ψ 1 + ψ = 0; ψ(t, x) = u(r)ei(8θ ωt) (7) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 11 / 50

The beginning of the history of solitary waves and solitons is considered the year 1834 when Russell observed a solitary wave in a low water channel. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 12 / 50

Soliton types Today, we know (at least) three mechanism which might produce solitons: Complete integrability; e.g. Kortewg-de Vries equation u t + u xxx + 6uu x = 0 Topological constrains: e.g. Sine-Gordon equation u tt u xx + sin u = 0 Ratio energy/charge: e.g. complex valued nonlinear Klein-Gordon equation (they exists also for N > 1) ψ tt ψ + W (ψ) = 0; ψ C Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 13 / 50

Soliton types Today, we know (at least) three mechanism which might produce solitons: Complete integrability; e.g. Kortewg-de Vries equation u t + u xxx + 6uu x = 0 Topological constrains: e.g. Sine-Gordon equation u tt u xx + sin u = 0 Ratio energy/charge: e.g. complex valued nonlinear Klein-Gordon equation (they exists also for N > 1) ψ tt ψ + W (ψ) = 0; ψ C Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 13 / 50

Soliton types Today, we know (at least) three mechanism which might produce solitons: Complete integrability; e.g. Kortewg-de Vries equation u t + u xxx + 6uu x = 0 Topological constrains: e.g. Sine-Gordon equation u tt u xx + sin u = 0 Ratio energy/charge: e.g. complex valued nonlinear Klein-Gordon equation (they exists also for N > 1) ψ tt ψ + W (ψ) = 0; ψ C Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 13 / 50

Soliton types Today, we know (at least) three mechanism which might produce solitons: Complete integrability; e.g. Kortewg-de Vries equation u t + u xxx + 6uu x = 0 Topological constrains: e.g. Sine-Gordon equation u tt u xx + sin u = 0 Ratio energy/charge: e.g. complex valued nonlinear Klein-Gordon equation (they exists also for N > 1) ψ tt ψ + W (ψ) = 0; ψ C Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 13 / 50

Soliton types The complete integrability solitons occur only in dimension one (at least for what I know). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 14 / 50

Soliton types The complete integrability solitons occur only in dimension one (at least for what I know). Topological solitons may occur also in dimension bigger than one but not in semilinear equations. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 14 / 50

Soliton types The complete integrability solitons occur only in dimension one (at least for what I know). Topological solitons may occur also in dimension bigger than one but not in semilinear equations. The third type of solitons may appear in any dimension. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 14 / 50

Complete integrability solitons This kind of solitons occur in infinite dimensional completely integrable systems. Their study is connected with the inverse scattering techniques and it is very involved. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 15 / 50

Topological solitons This kind of solitons due their stability to topological constrains. The simplest equation which produces topological solitons is the Sine-Gordon equation (which is also completely integrable) u tt u xx + sin u = 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 16 / 50

The Hylomorphic solitons The third kind of solitons due their existence to the low ratio between the energy and an other integral of motion which we call hylenic charge Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 17 / 50

The Hylomorphic solitons The third kind of solitons due their existence to the low ratio between the energy and an other integral of motion which we call hylenic charge I will refer to this type of solitons as hylomorphic solitons Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 17 / 50

The Hylomorphic solitons The third kind of solitons due their existence to the low ratio between the energy and an other integral of motion which we call hylenic charge I will refer to this type of solitons as hylomorphic solitons In the rest of the talk, we will be concerned with this type of solitons Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 17 / 50

History of hylomorphic solitons We introduced the name hylomorphic soliton to denote various kinds of solitons already studied in the mathematical and physical literature in order to emphasize their commune features (namely the ratio energy/charge). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 18 / 50

History of hylomorphic solitons We introduced the name hylomorphic soliton to denote various kinds of solitons already studied in the mathematical and physical literature in order to emphasize their commune features (namely the ratio energy/charge). The mathematical and physical communities have studied hylomorphic solitons quite independently. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 18 / 50

History of hylomorphic solitons We introduced the name hylomorphic soliton to denote various kinds of solitons already studied in the mathematical and physical literature in order to emphasize their commune features (namely the ratio energy/charge). The mathematical and physical communities have studied hylomorphic solitons quite independently. In particular, the physicists considered mainly the nonlinear Klein-Gordon equations and the relative solitons were called Q-balls. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 18 / 50

History of Q-balls Configurations of a charged scalar field that are classically stable were constructed by G. Rosen who first realized the possibility of stable solitary waves in the NWE. G. ROSEN,Particlelike Solutions to Nonlinear Complex Scalar Field Theories with Positive-Definite Energy Densities, J. Math. Phys. 9:996 (1968) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 19 / 50

History of Q-balls Configurations of a charged scalar field that are classically stable were constructed by G. Rosen who first realized the possibility of stable solitary waves in the NWE. G. ROSEN,Particlelike Solutions to Nonlinear Complex Scalar Field Theories with Positive-Definite Energy Densities, J. Math. Phys. 9:996 (1968) The name Q-ball came from Sidney Coleman S. COLEMAN, Q-BALLS, Nucl. Phys. B262:263 (1985); erratum: B269:744 (1986) For the moment, the main physical applications of Q-balls are in cosmology. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 19 / 50

History of hylomorphic solitons In the mathematical community this story began with a paper of Strauss relative to solitary waves: W.A. STRAUSS, Existence of solitary waves in higher dimensions, Comm. Math. Phys. 55 (1977), 149-162 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 20 / 50

History of hylomorphic solitons Other important contributions during the 80 s: BERESTYCKI H., LIONS P.L., Nonlinear scalar field equations, I - Existence of a ground state, Arch. Rational Mech. Anal. 82 (1983), 313-345. T. CAZENAVE, P.L. LIONS, Orbital Stability of Standing Waves for Some Non linear Schrödinger Equations, Commun. Math. Phys. 85, 549-561 (1982) J. SHATAH, Stable Standing waves of Nonlinear Klein-Gordon Equations, Comm. Math. Phys., 91, (1983), 313-327. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 21 / 50

Some recent results on the nonlinear wave equation BENCI V. FORTUNATO D., Solitary waves in the Nolinear Wave equation and in Gauge Theories, Journal of fixed point theory and Applications, 1, n.1 (2007) p.p. 61-86. J. BELLAZZINI, V. BENCI, C. BONANNO, A.M. MICHELETTI, Solitons for the Nonlinear Klein-Gordon-Equation, to appear J. BELLAZZINI, V. BENCI, C. BONANNO, E. SINIBALDI, Hylomorphic solitons, to appear Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 22 / 50

The hylomorphic solitons The main equations in which hylomorphic solitons may occur are the following: Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 23 / 50

The hylomorphic solitons The main equations in which hylomorphic solitons may occur are the following: Nonlinear Scroedinger equation: ih t ψ = h2 2 ψ + 1 2 W (ψ) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 23 / 50

The hylomorphic solitons The main equations in which hylomorphic solitons may occur are the following: Nonlinear wave equation: ψ + W (ψ) = 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 23 / 50

Gauge theories e.g. the Maxwell-Klein-Gordon equations: D 2 t ψ 3 D 2 x j ψ + W (ψ) = 0 (8) j=1 E = ρ (ψ, ϕ) ; E + H t = 0; (9) H E t = j (ψ, A) ; H = 0; (10) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 24 / 50

Gauge theories e.g. the Maxwell-Klein-Gordon equations: D 2 t ψ 3 D 2 x j ψ + W (ψ) = 0 (8) j=1 E = ρ (ψ, ϕ) ; E + H t = 0; (9) H E t = j (ψ, A) ; H = 0; (10) where D t = t + iqϕ, D xj = xj iqa j, ρ (ψ, ϕ) = q Im ( t ψψ ) + q 2 ϕ ψ 2 (11) j (ψ, A) = q Im ( ψψ ) q 2 A ψ 2 (12) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 24 / 50

These equations satisfy the two assumptions which are shared by every fundamental theory in Physics. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 25 / 50

These equations satisfy the two assumptions which are shared by every fundamental theory in Physics. These two assumptions are the following ones: A-1. They are variational. A-2. They are invariant for an action the Poincaré (or the Galileo) group. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 25 / 50

These equations satisfy the two assumptions which are shared by every fundamental theory in Physics. These two assumptions are the following ones: A-1. They are variational. A-2. They are invariant for an action the Poincaré (or the Galileo) group. Moreover they satisfy also the following assumption: A-3. They are invariant for the action of the group S 1 : T ϕ ψ e iϕ ψ. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 25 / 50

Conservation laws The invariance with respect to the action of a Lie group gives conservation Laws: Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 26 / 50

Conservation laws The invariance with respect to the action of a Lie group gives conservation Laws: Energy. Energy, by definition, is the quantity which is preserved by the time invariance of the Lagrangian; namely by the fact that it does not depend explicitly on t. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 26 / 50

Conservation laws The invariance with respect to the action of a Lie group gives conservation Laws: Energy. Energy, by definition, is the quantity which is preserved by the time invariance of the Lagrangian; namely by the fact that it does not depend explicitly on t. Hylenic Charge. The hylenic charge, by definition, is the quantity which is preserved by by the "gauge action" ψ ψe iθ ; namely by the fact that the Lagrangian does not depend explicitly on θ. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 26 / 50

The Nonlinear Schroedinger equation For example, let us consider the NSE: hi t ψ = h2 2 ψ + 1 2 W (ψ) The solution of this equations are critical points of the functional S(ψ) = [Re ( hi t ψψ ) ] h2 2 ψ 2 W(ψ) dx dt Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 27 / 50

Conservation laws for the NSE Energy. [ ] h 2 E(ψ) = 2 ψ 2 + W(ψ) dx Hylenic charge. H = ψ 2 dx Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 28 / 50

The Nonlinear Wave Equation As second example, we consider the NWE: ψ + W (ψ) = 0 The solution of this equations are critical points of the functional S(ψ) = [ 1 2 tψ 2 1 ] 2 ψ 2 W(ψ) dx dt (NWE) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 29 / 50

Conservation laws for the NWE Energy. E = [ 1 2 tψ 2 + 1 ] 2 ψ 2 + W(ψ) dx Hylenic charge. H = Im t ψψ dx Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 30 / 50

Definition of hylomorphic soliton Since the notion of soliton is based on the notion of stability, we need to consider the dynamical system (X, U) relative to our equation. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 31 / 50

Definition of hylomorphic soliton Since the notion of soliton is based on the notion of stability, we need to consider the dynamical system (X, U) relative to our equation. If Ψ 0 (x) X, then the dynamics is given by (U t Ψ 0 ) (x) = Ψ(t, x) where Ψ(t, x) is the solution of the Cauchy problem with initial data Ψ 0 (x). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 31 / 50

Definition of hylomorphic soliton Since the notion of soliton is based on the notion of stability, we need to consider the dynamical system (X, U) relative to our equation. If Ψ 0 (x) X, then the dynamics is given by (U t Ψ 0 ) (x) = Ψ(t, x) where Ψ(t, x) is the solution of the Cauchy problem with initial data Ψ 0 (x). For NSE we have that X = H 1 (R N ) For NWE we have that X = H 1 (R N ) L 2 (R N ) Ψ(x) = (ψ(x), ψ t (x)) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 31 / 50

Definition of hylomorphic soliton A standing wave Ψ 0 X is a hylomorphic soliton if where E(Ψ 0 ) = min E(Ψ) Ψ M σ M σ = {Ψ X : H(Ψ) = σ} The set Γ of minimizer of E(Ψ) on M σ is a finite dimensional manifold (or, if you want to be more general, a locally compact set) The set Γ (which is an invariant set for U t ) is Liapunov stable (namely Ψ(t, x) is orbitally stable). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 32 / 50

Definition of hylomorphic soliton A standing wave Ψ 0 X is a hylomorphic soliton if where E(Ψ 0 ) = min E(Ψ) Ψ M σ M σ = {Ψ X : H(Ψ) = σ} The set Γ of minimizer of E(Ψ) on M σ is a finite dimensional manifold (or, if you want to be more general, a locally compact set) The set Γ (which is an invariant set for U t ) is Liapunov stable (namely Ψ(t, x) is orbitally stable). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 32 / 50

Definition of hylomorphic soliton A standing wave Ψ 0 X is a hylomorphic soliton if where E(Ψ 0 ) = min E(Ψ) Ψ M σ M σ = {Ψ X : H(Ψ) = σ} The set Γ of minimizer of E(Ψ) on M σ is a finite dimensional manifold (or, if you want to be more general, a locally compact set) The set Γ (which is an invariant set for U t ) is Liapunov stable (namely Ψ(t, x) is orbitally stable). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 32 / 50

Definition of hylomorphic soliton A standing wave Ψ 0 X is a hylomorphic soliton if where E(Ψ 0 ) = min E(Ψ) Ψ M σ M σ = {Ψ X : H(Ψ) = σ} The set Γ of minimizer of E(Ψ) on M σ is a finite dimensional manifold (or, if you want to be more general, a locally compact set) The set Γ (which is an invariant set for U t ) is Liapunov stable (namely Ψ(t, x) is orbitally stable). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 32 / 50

Existence of standing waves for NSE and NWE If W is written as follows W (u) = 1 2 au2 + N(u); a > 0; N(0) = N (0) = N (0) = 0 then sufficient (and essentially necessary) conditions for the existence of standing waves (Beresticky-Lions) are: Growth condition N (u) c u p 1, 2 p < 2 = 2N N 2 Hylomorphy condition u 0 R + : N(u 0 ) < 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 33 / 50

Existence of solitons for NSE Sufficient (and essentially necessary) conditions for the existence of solitons are (Cazenave-Lions; Bellazzini, Ghimenti, B., Micheletti) are: (Cauchy problem) the Cauchy problem is well posed in X namely ψ (t, x) C ( [0, T], H 1 (R N ) ) (Growth condition) N (u) c u p 1, 2 p < 2 + 4 N Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 34 / 50

Existence of solitons for NSE Sufficient (and essentially necessary) conditions for the existence of solitons are (Cazenave-Lions; Bellazzini, Ghimenti, B., Micheletti) are: (Cauchy problem) the Cauchy problem is well posed in X namely ψ (t, x) C ( [0, T], H 1 (R N ) ) (Growth condition) N (u) c u p 1, 2 p < 2 + 4 N Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 34 / 50

Existence of solitons for NWE Sufficient (and essentially necessary) conditions for the existence of solitons are (Bellazzini, Bonanno, B., Micheletti) are: (Cauchy problem) the Cauchy problem is well posed in X namely ψ (t, x) C ( [0, T], H 1 (R N ) ) C 1 ( [0, T], L 2 (R N ) ) (Positivity) u, W(u) 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 35 / 50

Existence of solitons for NWE Sufficient (and essentially necessary) conditions for the existence of solitons are (Bellazzini, Bonanno, B., Micheletti) are: (Cauchy problem) the Cauchy problem is well posed in X namely ψ (t, x) C ( [0, T], H 1 (R N ) ) C 1 ( [0, T], L 2 (R N ) ) (Positivity) u, W(u) 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 35 / 50

Idea of the proof By the hylomorphy condition, in a bump solution, the ratio is less than some constant m energy/carge Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 36 / 50

Idea of the proof By the hylomorphy condition, in a bump solution, the ratio energy/carge is less than some constant m while for "small" waves this ratio is greater than m. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 36 / 50

Dynamics of solitons (NSE) The basic idea is that a sufficiently small soliton behaves as a particle. In particular a soliton relative to NSE ih ψ t = h2 2 ψ + V(x)ψ + 1 2 W h(ψ) behaves as a classical particle as h 0; Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 37 / 50

Dynamics of solitons (NSE) The basic idea is that a sufficiently small soliton behaves as a particle. In particular a soliton relative to NSE ih ψ t = h2 2 ψ + V(x)ψ + 1 2 W h(ψ) behaves as a classical particle as h 0; namely its position q(t) must be an approximate solution of the equation q + V(q h ) = 0. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 37 / 50

The nonlinear term W h We choose W h (u) = 1 h α+γ W (hγ u). Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 38 / 50

The nonlinear term W h We choose W h (u) = 1 h α+γ W (hγ u). The relative elliptic equation is h2 2 u + 1 2h α W (h γ u) = ωu Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 38 / 50

The nonlinear term W h We choose W h (u) = 1 h α+γ W (hγ u). The relative elliptic equation is and the ground state has the form u h (x) = 1 ( x ) h γ U h β h2 2 u + 1 2h α W (h γ u) = ωu with β = 1 + α γ 2 where U : R N, N 2, is a positive, radially symmetric solution of the static Nonlinear Schroedinger equation equation with U L 2 = 1 U + W (U) = 2ωU (13) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 38 / 50

The Cauchy problem with V(x)=0 Now, let us consider the Cauchy problem relative to the NSE: ih ψ t = h2 2 ψ + 1 2h α W (h γ ψ) (14) ψ (0, x) = 1 ( ) x h γ U q0 h β e i h v x ; β = 1 + α γ 2 (15) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 39 / 50

The Cauchy problem with V(x)=0 Now, let us consider the Cauchy problem relative to the NSE: ih ψ t = h2 2 ψ + 1 2h α W (h γ ψ) (14) ψ (0, x) = 1 ( ) x h γ U q0 h β e i h v x ; β = 1 + α γ 2 (15) Direct computations show that a solution of (14),(15) is given by with ψ (t, x) = 1 ( ) x h γ U q0 vt h β e i h (v x Et) (16) E = 1 2 v2 + ω h α γ Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 39 / 50

The barycenter We can interprete this result saying that the barycenter q(t) of the solution of (14,15) defined by q(t) = satisfies the Cauchy problem x ψ(t, x) 2 dx RN. (17) ψ(t, x) 2 dx R N q = 0 q(0) = q 0 q(0) = v Thus the soliton is like a material point which follows Newton s laws. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 40 / 50

The Cauchy problem with V(x) 0 Let us investigate what happens if the problem is perturbed namely let us investigate the Cauchy problem ih ψ t = h2 1 ψ + V(x)ψ + 2 2h α W (h γ ψ) (P h ) with initial conditions where ψ (0, x) = [ 1 h γ U ( x x0 h β ) ] + w 0 (x) e i h v x (I h ) w 0 H 1 = 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 41 / 50

General assumptions (i) the problem (P h ),(I h ) has a unique solution ψ (t, x) C 0 ( R, H 1 (R N ) ) C 1 ( R, L 2 (R N ) ) (sufficient conditions have been found by Kato, Cazenave, Ginibre-Velo, etc.). (ii) the unperturbed equation admits hylomorphic solitons, namely there exists a minimizer U of the functional 1 J(u) = 2 u 2 + W(u)dx on the manifold S σ = M σ = { u H 1 : u L 2 = σ }. (iii) V(x) C 2 (R N ); V(x) 0. (iv) V(x) V(x) 1 δ for x > R 1 > 1, and some δ > 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 42 / 50

General assumptions (i) the problem (P h ),(I h ) has a unique solution ψ (t, x) C 0 ( R, H 1 (R N ) ) C 1 ( R, L 2 (R N ) ) (sufficient conditions have been found by Kato, Cazenave, Ginibre-Velo, etc.). (ii) the unperturbed equation admits hylomorphic solitons, namely there exists a minimizer U of the functional 1 J(u) = 2 u 2 + W(u)dx on the manifold S σ = M σ = { u H 1 : u L 2 = σ }. (iii) V(x) C 2 (R N ); V(x) 0. (iv) V(x) V(x) 1 δ for x > R 1 > 1, and some δ > 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 42 / 50

General assumptions (i) the problem (P h ),(I h ) has a unique solution ψ (t, x) C 0 ( R, H 1 (R N ) ) C 1 ( R, L 2 (R N ) ) (sufficient conditions have been found by Kato, Cazenave, Ginibre-Velo, etc.). (ii) the unperturbed equation admits hylomorphic solitons, namely there exists a minimizer U of the functional 1 J(u) = 2 u 2 + W(u)dx on the manifold S σ = M σ = { u H 1 : u L 2 = σ }. (iii) V(x) C 2 (R N ); V(x) 0. (iv) V(x) V(x) 1 δ for x > R 1 > 1, and some δ > 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 42 / 50

General assumptions (i) the problem (P h ),(I h ) has a unique solution ψ (t, x) C 0 ( R, H 1 (R N ) ) C 1 ( R, L 2 (R N ) ) (sufficient conditions have been found by Kato, Cazenave, Ginibre-Velo, etc.). (ii) the unperturbed equation admits hylomorphic solitons, namely there exists a minimizer U of the functional 1 J(u) = 2 u 2 + W(u)dx on the manifold S σ = M σ = { u H 1 : u L 2 = σ }. (iii) V(x) C 2 (R N ); V(x) 0. (iv) V(x) V(x) 1 δ for x > R 1 > 1, and some δ > 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 42 / 50

The main theorem Theorem (B.,Ghimenti,Micheletti) Assume that (i), (ii), (iii) and (iv) hold. Moreover assume that V(x) x α for x > R 1 > 1, α > 1; α γ > 0 Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 43 / 50

The main theorem Theorem (B.,Ghimenti,Micheletti) Assume that (i), (ii), (iii) and (iv) hold. Moreover assume that V(x) x α for x > R 1 > 1, α > 1; α γ > 0 Then the barycenter q h (t) of the solution of the problem (P h ),(I h ) is twice differentiable and satisfies the following Cauchy problem: where q h (t) + V(q h (t)) = H h (t) q h (0) = q 0 q h (0) = v sup H h (t) 0 as h 0 t R (18) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 43 / 50

Bibliography on this subject J. C. Bronski and R. L. Jerrard, Soliton dynamics in a potential, Math. Res. Lett. 7 (2000), no. 2-3, 329 342. Jürg Fröhlich, Stephen Gustafson, B. Lars G. Jonsson, and Israel Michael Sigal, Solitary wave dynamics in an external potential, Comm. Math. Phys. 250 (2004), no. 3, 613 642. Jürg Fröhlich, Stephen Gustafson, B. Lars G. Jonsson, and Israel Michael Sigal, Long time motion of NLS solitary waves in a confining potential, Ann. Henri Poincaré 7 (2006), no. 4, 621 660. They all considered the case α = γ = 0 and have some results only for finite time. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 44 / 50

The assumption V(x) The assumption of a confining potential is necessary in order to identify the "position" of the soliton with the barycenter of the full system. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 45 / 50

The assumption V(x) The assumption of a confining potential is necessary in order to identify the "position" of the soliton with the barycenter of the full system. If this assumption is violated, it is necessary to give a different definition of q(t), the "position" of the soliton. We get a similar result, but the technical part is more involved and we are still working on it. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 45 / 50

Meaning of α, γ, β = 1 + α γ 2 If ψ h is a soliton, then ψ h L 1 h γ Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 46 / 50

Meaning of α, γ, β = 1 + α γ 2 If ψ h is a soliton, then ψ h L 1 h γ "radius" of ψ h h β Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 46 / 50

Meaning of α, γ, β = 1 + α γ 2 If ψ h is a soliton, then ψ h L 1 h γ "radius" of ψ h h β ψ h p L p hnβ pγ Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 46 / 50

So, if we set we have that p = Nβ γ, (19) ψ h L p = const (20) and ψ h (t, x) p δ q(t) as h 0 (21) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 47 / 50

So, if we set we have that p = Nβ γ, (19) ψ h L p = const (20) and ψ h (t, x) p δ q(t) as h 0 (21) But it is also possible to choose α or γ equal to 0. In particular, if γ = 0, we have that ψ h L = const (22) Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 47 / 50

α γ > 0 E (ψ) = ( ) h 2 2 ψ 2 + V(x) ψ 2 dx + = E L (ψ) + E B (ψ) 1 h α+γ W(hγ ψ)dx If ψ h is a soliton, then, its linear energy is given by E L (ψ h ) ψ h 2 L 2 hnβ 2γ while its binding energy E B (ψ h ) h Nβ α γ. Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 48 / 50

Then E L (ψ h ) E B (ψ h ) hα γ This means that, as h 0, the binding energy is much stronger than the external energies: Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 49 / 50

Then E L (ψ h ) E B (ψ h ) hα γ This means that, as h 0, the binding energy is much stronger than the external energies: the soliton cannot be broken Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 49 / 50

The end Collision of solitons Happy birthday Paul!!! Vieri Benci (DMA-Pisa) Hylomorphic solitons 18th May 2009 50 / 50