Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Solitons on ManifoldsJoint work (on various projects) with Pierre Albin
(UIUC), Hans Christianson (UNC), Jason Metcalfe(UNC), Michael Taylor (UNC), Laurent Thomann
(Nantes)
Jeremy L. Marzuola
Department of MathematicsUniversity of North Carolina, Chapel Hill
Bielefeld Course on Nonlinear Waves - June 29, 2012
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Outline
The theory of nonlinear bound states on Rd
Concentration Compactness
Nonlinear bound states on Hd
Nonlinear quasimodes on manifolds with periodic ellipticgeodesic orbits
A toy model
Conclusions and Future Directions
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Ideas...
I We see a very nice trichotomy:Hd : dispersion is so strong that only localnonlinearity dominates ([Christianson-M 2010,Mancini-Sandeep 2008]),Rd : balance of dispersion and nonlinearity globally([Strauss 1977,....]),(M,g) : Locally geometry dominates overnonlinearity ([Albin-Christianson-M-Thomann 2011]).See also work using Mountain Pass Theorems byseveral authors, for instance [del Piño, Pistoia,...].
I Recent progress allows us to further explore theexistence of global bound states on WeaklyHomogeneous Manifolds:[Christianson-M-Metcalfe-Taylor (2012)].
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Ideas...
I We see a very nice trichotomy:Hd : dispersion is so strong that only localnonlinearity dominates ([Christianson-M 2010,Mancini-Sandeep 2008]),Rd : balance of dispersion and nonlinearity globally([Strauss 1977,....]),(M,g) : Locally geometry dominates overnonlinearity ([Albin-Christianson-M-Thomann 2011]).See also work using Mountain Pass Theorems byseveral authors, for instance [del Piño, Pistoia,...].
I Recent progress allows us to further explore theexistence of global bound states on WeaklyHomogeneous Manifolds:[Christianson-M-Metcalfe-Taylor (2012)].
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Nonlinear Optics
I
Figure: Some "Gaussian Beams" in the work on nonlinearoptics in the group of Ulf Peschel at MPI Science of Light.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
The Technical Formulation
I We wish to explore existence of stationary solutionsto the nonlinear Schrödinger equation on a manifold(M,g). Let −∆g be the Laplace-Beltrami operator onM with respect to the metric g. Consider thenonlinear Schrödinger equation (NLS − g) on M:
iut + ∆gu + |u|pu = 0, x ∈ Mu(0, x) = u0(x).
I A nonlinear bound state is a choice of initial conditionRλ(x) such that
u(t , x) = eiλtRλ(x)
satisfies (NLS − g) with initial data u(0, x) = Rλ(x).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
The Technical Formulation
I We wish to explore existence of stationary solutionsto the nonlinear Schrödinger equation on a manifold(M,g). Let −∆g be the Laplace-Beltrami operator onM with respect to the metric g. Consider thenonlinear Schrödinger equation (NLS − g) on M:
iut + ∆gu + |u|pu = 0, x ∈ Mu(0, x) = u0(x).
I A nonlinear bound state is a choice of initial conditionRλ(x) such that
u(t , x) = eiλtRλ(x)
satisfies (NLS − g) with initial data u(0, x) = Rλ(x).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
The Technical Formulation
I Plugging in the ansatz yields the following stationaryelliptic equation for Rλ:
−∆gRλ + λRλ − |Rλ|pRλ = 0.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence in Rd
I Existence of solitary waves for a wide variety ofnonlinearities is proved in Berestycki-Lions byminimizing the quantity
T (u) =
∫Rd|∇u|2dx
with respect to the constraint
V (u) := −λ2
2
∫Rd|u|2dx +
∫Rd
F (|u|)dx = 1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Then, using a minimizing sequence and Schwarzsymmetrization, one sees the existence of thenonnegative, spherically symmetric, decreasingsoliton solution.
I For uniqueness, see McLeod, where a shootingmethod is implemented to show that the desiredsoliton behavior only occurs for one particular initialvalue.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Then, using a minimizing sequence and Schwarzsymmetrization, one sees the existence of thenonnegative, spherically symmetric, decreasingsoliton solution.
I For uniqueness, see McLeod, where a shootingmethod is implemented to show that the desiredsoliton behavior only occurs for one particular initialvalue.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Concentration Compactness
I From the work of P.L. Lions, we have the followingmeans of finding constrained minimizers:
I Let (ρn)n≥1 be a sequence in L1(Rd ) satisfying:
ρn ≥ 0 in Rd ,
∫Rdρndx = λ
where λ > 0 is fixed. Then there exists asubsequence (ρnk )k≥1 satisfying one of the threefollowing possibilities:
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Concentration Compactness
I From the work of P.L. Lions, we have the followingmeans of finding constrained minimizers:
I Let (ρn)n≥1 be a sequence in L1(Rd ) satisfying:
ρn ≥ 0 in Rd ,
∫Rdρndx = λ
where λ > 0 is fixed. Then there exists asubsequence (ρnk )k≥1 satisfying one of the threefollowing possibilities:
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Concentration Compactness
I i. (compactness) there exists yk ∈ Rd such thatρnk (·+ ynk ) is tight, i.e.:
∀ε > 0, ∃R <∞,∫
yk +BR
ρnk (x)dx ≥ λ− ε;
I ii. (vanishing) limk→∞ supy∈Rd
∫y+BR
ρnk (x)dx = 0,for all R <∞;
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Concentration Compactness
I i. (compactness) there exists yk ∈ Rd such thatρnk (·+ ynk ) is tight, i.e.:
∀ε > 0, ∃R <∞,∫
yk +BR
ρnk (x)dx ≥ λ− ε;
I ii. (vanishing) limk→∞ supy∈Rd
∫y+BR
ρnk (x)dx = 0,for all R <∞;
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Concentration Compactness
I iii. (dichotomy) there exists α ∈ [0, λ] such that for allε > 0, there exists k0 ≥ 1 and ρ1
k , ρ2k ∈ L1
+(Rd )satisfying for k ≥ k0:
‖ρnk − (ρ1k + ρ2
k )‖L1 ≤ ε,|∫
Rd ρ1kdx − α| ≤ ε,
|∫
Rd ρ2kdx − (λ− α)| ≤ ε,
d(Supp(ρ1k ),Supp(ρ2
k ))→∞.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I The idea for Hd from [Christianson-M 2010] relies onconjugating ∆Hd into an operator on Euclideanspace, and then finding minimizers for the energyfunctional. See also [Mancini-Sandeep 2008].
I The problem of minimizing the functional is greatlysimplified assuming the functions involved dependonly on the radius r = |x |, as then the minimizationtheory in Rd may be used.
I Let us define a space H1r to be the space of all
spherically symmetric functions in H1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I The idea for Hd from [Christianson-M 2010] relies onconjugating ∆Hd into an operator on Euclideanspace, and then finding minimizers for the energyfunctional. See also [Mancini-Sandeep 2008].
I The problem of minimizing the functional is greatlysimplified assuming the functions involved dependonly on the radius r = |x |, as then the minimizationtheory in Rd may be used.
I Let us define a space H1r to be the space of all
spherically symmetric functions in H1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I The idea for Hd from [Christianson-M 2010] relies onconjugating ∆Hd into an operator on Euclideanspace, and then finding minimizers for the energyfunctional. See also [Mancini-Sandeep 2008].
I The problem of minimizing the functional is greatlysimplified assuming the functions involved dependonly on the radius r = |x |, as then the minimizationtheory in Rd may be used.
I Let us define a space H1r to be the space of all
spherically symmetric functions in H1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I LemmaLet u be a solution to Hyperbolic NLS with initial datau0 ∈ H1
r and the nonlinearity f (|u|)u = |u|pu with4
d−2 > p > 0. Then u ∈ H1r .
I The proof of this lemma is by uniqueness, whichfollows from the implicit local uniqueness followingfrom the Strichartz estimates in Ionescu-Staffilani.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I LemmaLet u be a solution to Hyperbolic NLS with initial datau0 ∈ H1
r and the nonlinearity f (|u|)u = |u|pu with4
d−2 > p > 0. Then u ∈ H1r .
I The proof of this lemma is by uniqueness, whichfollows from the implicit local uniqueness followingfrom the Strichartz estimates in Ionescu-Staffilani.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial SymmetryI We show that any constrained minimizer in
hyperbolic space may be replaced by one that isspherically symmetric, so that we may neglect theangular derivative.
I To do this, we modify the standard argument ofLieb-Loss in Rd , using heat kernel arguments toshow symmetric decreasing rearrangement orSchwarz symmetrization lowers the kinetic energy inHd .
I The symmetric decreasing rearrangement on Hd isgiven by
f ∗(Ω) = inft : λf (t) ≤ µ(B(dist (Ω,0))),
where µ is the natural measure on Hd , dist is thehyperbolic distance function on Hd and
λf (t) = µ(|f | > t).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial SymmetryI We show that any constrained minimizer in
hyperbolic space may be replaced by one that isspherically symmetric, so that we may neglect theangular derivative.
I To do this, we modify the standard argument ofLieb-Loss in Rd , using heat kernel arguments toshow symmetric decreasing rearrangement orSchwarz symmetrization lowers the kinetic energy inHd .
I The symmetric decreasing rearrangement on Hd isgiven by
f ∗(Ω) = inft : λf (t) ≤ µ(B(dist (Ω,0))),
where µ is the natural measure on Hd , dist is thehyperbolic distance function on Hd and
λf (t) = µ(|f | > t).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial SymmetryI We show that any constrained minimizer in
hyperbolic space may be replaced by one that isspherically symmetric, so that we may neglect theangular derivative.
I To do this, we modify the standard argument ofLieb-Loss in Rd , using heat kernel arguments toshow symmetric decreasing rearrangement orSchwarz symmetrization lowers the kinetic energy inHd .
I The symmetric decreasing rearrangement on Hd isgiven by
f ∗(Ω) = inft : λf (t) ≤ µ(B(dist (Ω,0))),
where µ is the natural measure on Hd , dist is thehyperbolic distance function on Hd and
λf (t) = µ(|f | > t).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I First of all, it is clear f ∗ is spherically symmetric,nonincreasing, lower semicontinuous and
‖f ∗‖Lp(Hd ) = ‖f‖Lp(Hd )
for any 1 ≤ p ≤ ∞.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I LemmaSuppose f ∈ H1(Hd ), and f ∗ is the symmetric decreasingrearrangement of f . Then
‖∇f ∗‖L2(Hd ) ≤ ‖∇f‖L2(Hd ).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I We use standard Hilbert space theory as inLieb-Loss. Namely, we observe that the kineticenergy satisfies
‖∇f‖L2(Hd ) = limt→0
I t (f ),
where
I t (f ) = t−1[(f , f )Hd − (f ,e∆Hd t f )Hd ]
and (·, ·)Hd is the natural L2 inner-product on Hd .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I As (f , f ) = (f ∗, f ∗) by construction, we need
(f ∗,e∆Hd t f ∗)Hd ≥ (f ,e∆Hd t f )Hd
in order to see that symmetrization decreases thekinetic energy.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I In Rd , this is done using convolution operators andthe Riesz rearrangement inequality, which we do nothave here. Instead, we use heat kernel decay and ana rearrangement theorem of Draghici.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I For each t > 0, the heat kernel on hyperbolic space,pd (ρ, t), is a decreasing function of the hyperbolicdistance ρ.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Radial Symmetry
I From Draghici, we have used the following theorem:
Theorem (Draghici)Let X = Hd , fi : X → R+ be m nonnegative functions,Ψ ∈ AL2(Rm
+) be continuous and Kij : [0,∞)→ [0,∞),i < j , j ∈ 1, . . . ,m be decreasing functions. We define
I[f1, . . . , fm] =
∫X m
Ψ(f1(Ω1), . . . , fm(Ωm))
×Πi<jKij(d(Ωi ,Ωj))dΩ1 . . . dΩm.
Then, the following inequality holds:
I[f1, . . . , fm] ≤ I[f ∗1 , . . . , f∗m].
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I In this section we begin to analyze HNLS in the casef (|u|)u is a so-called “focusing” nonlinearity.
I From the polar form of ∆Hd , we approach theproblem by comparison to the standard Laplacian onRd . In this direction, let us recall that the metric forRd in polar coordinates is given by
ds2 = dr2 + r2dω2,
so that the Jacobian is rd−1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I In this section we begin to analyze HNLS in the casef (|u|)u is a so-called “focusing” nonlinearity.
I From the polar form of ∆Hd , we approach theproblem by comparison to the standard Laplacian onRd . In this direction, let us recall that the metric forRd in polar coordinates is given by
ds2 = dr2 + r2dω2,
so that the Jacobian is rd−1.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Similarly, the Jacobian from the polar coordinaterepresentation of Hd is sinhd−1 r . We employ anisometry T taking L2(rd−1drdω) to L2(sinhd−1 rdrdω),so that T−1(−∆Hd )T is a non-negative, unbounded,essentially self-adjoint operator on L2(Rd ).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We define
φ(r) =( r
sinh r
) d−12,
φ−1(r) =
(sinh r
r
) d−12
,
and take Tu = φu.I Conjugating −∆Hd by φ, we have a second order
differential operator on Rd with the leading orderterm almost the Laplacian on Rd .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We define
φ(r) =( r
sinh r
) d−12,
φ−1(r) =
(sinh r
r
) d−12
,
and take Tu = φu.I Conjugating −∆Hd by φ, we have a second order
differential operator on Rd with the leading orderterm almost the Laplacian on Rd .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Indeed, we have
φ−1(−∆Hd )(φu) = −∆u +
[Vd (r) +
(d − 1
2
)2]
u.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Here
V0(r) =1− d
r,
Vd (r) =(d − 1)(d − 3)
4
(r2 − sinh2 rr2 sinh2 r
),
so that
−∆ = −∆Rd −r2 − sinh2 rr2 sinh2 r
∆Sd−1 .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
ExistenceI For completeness, we record the following simple
lemma.
LemmaThe function
V =sinh2 r − r2
r2 sinh2 r
satisfies the following properties:
(i) V ∈ C∞(R),
(ii) V ≥ 0,
(iii) V (0) =13,
(iv) V = O(r−2), r →∞, and
(v) V ′(r) = 0 only at r = 0.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I RemarkNote that the potential V3 = 0, and the lemma impliesV2 ≥ 0 has a “bump” at 0, while for d ≥ 4, the potentialVd ≤ 0 has a “well” at 0.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I After this conjugation to Rd , Hyperbolic NLSbecomes−iut − ∆u + (d−1)2
4 u + Vd (x)u − f (x ,u) = 0, x ∈ Rd
u(0, x) = u0(x) ∈ H1,
where now the nonlinearity f takes the following formafter conjugation:
f (x ,u) = φ−1f (φu)(φu)
=( r
sinh r
) p(d−1)2 |u|pu.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We have the naturally defined conserved quantities
Q(u) = ‖u‖2L2
and
E(u) =
∫Rd
[12|∇u|2 +
12
a(x)|∇angu|2
+12
(Vd (|x |) +
(d − 1)2
4
)|u|2 − F (x ,u)
]dx .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Here
a(x) =|x |2 − sinh2 |x ||x |2 sinh2 |x |
is the “offset” of the spherical Laplacian in thedefinition of ∆,
F (x ,u) =
∫ u(x)
0f (x , s)ds
=1
p + 2
(|x |
sinh |x |
)(d−1)p/2
|u|p+2
=: K (|x |)|u|p+2.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I From the work of Banica, we have global existencefor p < 4
d and finite time blow-up for 4d ≤ p < 4
d−2 .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We make a soliton ansatz for Hyperbolic NLS in Rd :u(x , t) = eiλtRλ, for a function Rλ depending on areal parameter (the soliton parameter) λ > 0.
I Plugging this ansatz into the conjugated equationHyperbolic NLS we see we must have
−∆Rλ +
((d − 1)2
4+ λ+ Vd (r)
)Rλ − f (x ,Rλ) = 0.
I Hence, we seek a minimizer of the associatedenergy functional to this nonlinear elliptic equation for‖u‖L2 fixed.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We make a soliton ansatz for Hyperbolic NLS in Rd :u(x , t) = eiλtRλ, for a function Rλ depending on areal parameter (the soliton parameter) λ > 0.
I Plugging this ansatz into the conjugated equationHyperbolic NLS we see we must have
−∆Rλ +
((d − 1)2
4+ λ+ Vd (r)
)Rλ − f (x ,Rλ) = 0.
I Hence, we seek a minimizer of the associatedenergy functional to this nonlinear elliptic equation for‖u‖L2 fixed.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We make a soliton ansatz for Hyperbolic NLS in Rd :u(x , t) = eiλtRλ, for a function Rλ depending on areal parameter (the soliton parameter) λ > 0.
I Plugging this ansatz into the conjugated equationHyperbolic NLS we see we must have
−∆Rλ +
((d − 1)2
4+ λ+ Vd (r)
)Rλ − f (x ,Rλ) = 0.
I Hence, we seek a minimizer of the associatedenergy functional to this nonlinear elliptic equation for‖u‖L2 fixed.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We note that the continuous spectrum is “shifted”according to the term
−(
d − 12
)2
u.
I In the end, this term does not alter the existenceargument for soliton solutions, however, it doesexpand the allowed range of soliton parameters fromλ ∈ (0,∞) to
λ ∈ (−(
d − 12
)2
,∞).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We note that the continuous spectrum is “shifted”according to the term
−(
d − 12
)2
u.
I In the end, this term does not alter the existenceargument for soliton solutions, however, it doesexpand the allowed range of soliton parameters fromλ ∈ (0,∞) to
λ ∈ (−(
d − 12
)2
,∞).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Hence, we set
µd = λ+
(d − 1
2
)2
> 0.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I By separating variables in the t direction, we write
ψ(x , t) = e−iλtu(x),
from which we get the stationary equation
(λ−∆g)u = σ|u|pu.
I The construction in the proof finds a functionuλ(x) = λ(d−1)/8g(λ1/4x) such that g is rapidlydecaying away from Γ, C∞, g is normalized in L2, and
(λ−∆g)uλ = σ|uλ|puλ + E(uλ),
where the error E(uλ) is expressed by the atruncation of an asymptotic series similar to that inthe work of Thomann and is of lower order in λ.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I By separating variables in the t direction, we write
ψ(x , t) = e−iλtu(x),
from which we get the stationary equation
(λ−∆g)u = σ|u|pu.
I The construction in the proof finds a functionuλ(x) = λ(d−1)/8g(λ1/4x) such that g is rapidlydecaying away from Γ, C∞, g is normalized in L2, and
(λ−∆g)uλ = σ|uλ|puλ + E(uλ),
where the error E(uλ) is expressed by the atruncation of an asymptotic series similar to that inthe work of Thomann and is of lower order in λ.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I The result is an improvement over the trivialapproximate solution. It is well known that there existquasimodes for the linear equation localized near Γof the form
vλ(x) = λ(d−1)/8eisλ1/2f (s, λ1/4x), (λ > 0),
with f a function rapidly decaying away from Γ, and sa parametrization around Γ, so that vλ(x) satisfies
(λ−∆g)vλ = O(λ−∞)‖vλ‖
in any seminorm, see Ralston.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I Then(λ−∆g)vλ = σ|vλ|pvλ + E2(vλ),
where the error E2(vλ) = |vλ|pvλ satisfies
‖E2(vλ)‖Hs = O(λs/2+p(d−1)/8).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Toy Model
I In this section we consider a toy model in twodimensions. As it is a toy model, we will not dwell onerror analysis, and instead make Taylorapproximations at will without remarking on the errorterms. Consider the manifold
M = Rx/2πZ× Rθ/2πZ,
equipped with a metric of the form
ds2 = dx2 + A2(x)dθ2,
where A ∈ C∞ is a smooth function, A ≥ ε > 0 forsome ε.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Toy Model
I From this metric, we get the volume form
dVol = A(x)dxdθ,
and the Laplace-Beltrami operator acting on 0-forms
∆g f = (∂2x + A−2∂2
θ + A−1A′∂x )f .
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I We observe that we can conjugate ∆g by anisometry of metric spaces and separate variables sothat spectral analysis of ∆g is equivalent to aone-variable semiclassical problem with potential.
I Let S : L2(X ,dVol)→ L2(X ,dxdθ) be the isometrygiven by
Su(x , θ) = A1/2(x)u(x , θ).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I We observe that we can conjugate ∆g by anisometry of metric spaces and separate variables sothat spectral analysis of ∆g is equivalent to aone-variable semiclassical problem with potential.
I Let S : L2(X ,dVol)→ L2(X ,dxdθ) be the isometrygiven by
Su(x , θ) = A1/2(x)u(x , θ).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Quasimodes
I A simple calculation gives
−∆f = (−∂2x − A−2(x)∂2
θ + V1(x))f ,
where the potential
V1(x) =12
A′′A−1 − 14
(A′)2A−2.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We are interested in the nonlinear Schrödingerequation, so we make a separated ansatz:
uλ(t , x , θ) = e−itλeikθψ(x),
where k ∈ Z and ψ is to be determined (dependingon both λ and k ).
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Applying the Schrödinger operator (with ∆ replacing∆) to uλ yields the equation
(Dt + ∆)eitλeikθψ(x) = σ|ψ|peitλeikθψ(x)
with2 =
2d − 1
≤ p <4
d − 1= 4,
where we have used the standard notation D = −i∂.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We are interested in the behaviour of a solution orapproximate solution near an elliptic periodicgeodesic, which occurs at a maximum of the functionA.
I For simplicity, let
A(x) =√
(1 + cos2(x))/2,
so that in a neighbourhood of x = 0, A2 ∼ 1− x2 andA−2 ∼ 1 + x2.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We are interested in the behaviour of a solution orapproximate solution near an elliptic periodicgeodesic, which occurs at a maximum of the functionA.
I For simplicity, let
A(x) =√
(1 + cos2(x))/2,
so that in a neighbourhood of x = 0, A2 ∼ 1− x2 andA−2 ∼ 1 + x2.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I The function V1(x) ∼ const. in a neighbourhood ofx = 0, so we will neglect V1. If we assume ψ(x) islocalized near x = 0, we get the stationary reducedequation
(−λ+ ∂2x − k2(1 + x2))ψ = −σ|ψ|pψ.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Let h = |k |−1 and use the rescaling operatorTψ(x) = Th,0ψ(x) = h−1/4ψ(h−1/2x) ( below withn = 1) to conjugate:
T−1(−λ+ ∂2x − k2(1 + x2))TT−1ψ = T−1(σ|ψ|pψ)
or
(−λ+ h−1∂2x − k2(1 + hx2)φ = σh−p/4|φ|pφ,
where φ = T−1ψ.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I Let us now multiply by h:
(−∂2 + x2 − E)φ = σhq|φ|pφ,
where
E =1− λh2
hand
q = 1− pd − 1
4= 1− p
4.
Observe the range restriction on p is precisely so that
0 < q ≤ 1/2.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We make a WKB type ansatz, although in practicewe will only take two terms (more is possible if thenonlinearity is smooth):
φ = φ0 + hqφ1, E = E0 + hqE1.
I The first two equations are
h0 : (−∂2 + x2 − E0)φ0 = 0,
hq : (−∂2 + x2 − E0 − hqE1)φ1 = E1φ0 + σ|φ0|pφ0.
Observe we have included the hqE1φ1 term on theleft hand side.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Existence
I We make a WKB type ansatz, although in practicewe will only take two terms (more is possible if thenonlinearity is smooth):
φ = φ0 + hqφ1, E = E0 + hqE1.
I The first two equations are
h0 : (−∂2 + x2 − E0)φ0 = 0,
hq : (−∂2 + x2 − E0 − hqE1)φ1 = E1φ0 + σ|φ0|pφ0.
Observe we have included the hqE1φ1 term on theleft hand side.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Applications
I General theory of nonlinear bound states onsymmetric spaces - What carries over fromEuclidean Space?? Spectral Properties??Uniqueness?? Sharp inequality bounds??
I Stability Theory - Related to spectral properties ofthe linearized operator, uniqueness, ...
I Traveling Waves - Motion generate by symmetries ofthe manifold and killing vector fields that commutewith the Laplacian ... lots of symmetry required.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Applications
I General theory of nonlinear bound states onsymmetric spaces - What carries over fromEuclidean Space?? Spectral Properties??Uniqueness?? Sharp inequality bounds??
I Stability Theory - Related to spectral properties ofthe linearized operator, uniqueness, ...
I Traveling Waves - Motion generate by symmetries ofthe manifold and killing vector fields that commutewith the Laplacian ... lots of symmetry required.
Solitons onManifolds
Jeremy L.Marzuola
The theory ofnonlinear boundstates on Rd
ConcentrationCompactness
Nonlinear boundstates onHd
Nonlinearquasimodes onmanifolds withperiodic ellipticgeodesic orbitsA toy model
Conclusions andFuture Directions
Applications
I General theory of nonlinear bound states onsymmetric spaces - What carries over fromEuclidean Space?? Spectral Properties??Uniqueness?? Sharp inequality bounds??
I Stability Theory - Related to spectral properties ofthe linearized operator, uniqueness, ...
I Traveling Waves - Motion generate by symmetries ofthe manifold and killing vector fields that commutewith the Laplacian ... lots of symmetry required.