Non-degeneracy of perturbed solutions of semilinear partial differential equations

Similar documents
Non-degeneracy of perturbed solutions of semilinear partial differential equations

SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

A simplified proof of a conjecture for the perturbed Gelfand equation from combustion theory

INVERSE FUNCTION THEOREM and SURFACES IN R n

SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Theory of PDE Homework 2

Second Order Elliptic PDE

Math 61CM - Solutions to homework 6

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

16 1 Basic Facts from Functional Analysis and Banach Lattices

ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT

Analysis in weighted spaces : preliminary version

FIXED POINT METHODS IN NONLINEAR ANALYSIS

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

Tools from Lebesgue integration

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

ON CONNES AMENABILITY OF UPPER TRIANGULAR MATRIX ALGEBRAS

Boundary Layer Solutions to Singularly Perturbed Problems via the Implicit Function Theorem

The Dirichlet-to-Neumann operator

An introduction to some aspects of functional analysis

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

INFINITELY MANY POSITIVE SOLUTIONS OF NONLINEAR SCHRÖDINGER EQUATIONS WITH NON-SYMMETRIC POTENTIALS

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

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

Presenter: Noriyoshi Fukaya

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Math 421, Homework #9 Solutions

Threshold behavior and non-quasiconvergent solutions with localized initial data for bistable reaction-diffusion equations

Your first day at work MATH 806 (Fall 2015)

Analysis II: The Implicit and Inverse Function Theorems

Non-radial solutions to a bi-harmonic equation with negative exponent

Some nonlinear elliptic equations in R N

Totally quasi-umbilic timelike surfaces in R 1,2

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

1. Bounded linear maps. A linear map T : E F of real Banach

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

Homework I, Solutions

We denote the space of distributions on Ω by D ( Ω) 2.

Stone-Čech compactification of Tychonoff spaces

Course 212: Academic Year Section 1: Metric Spaces

On the distributional divergence of vector fields vanishing at infinity

On Riesz-Fischer sequences and lower frame bounds

and finally, any second order divergence form elliptic operator

Determinant lines and determinant line bundles

NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

Trace Class Operators and Lidskii s Theorem

SPECTRAL PROPERTIES AND NODAL SOLUTIONS FOR SECOND-ORDER, m-point, BOUNDARY VALUE PROBLEMS

Integral Jensen inequality

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

B. Appendix B. Topological vector spaces

Determinantal point processes and random matrix theory in a nutshell

Lecture 11 Hyperbolicity.

Nonlinear Analysis. Global solution curves for boundary value problems, with linear part at resonance

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations

Problem Set 5: Solutions Math 201A: Fall 2016

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

REGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS

WAVELET EXPANSIONS OF DISTRIBUTIONS

2. Function spaces and approximation

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

Where is matrix multiplication locally open?

1 Constrained Optimization

MATH 205C: STATIONARY PHASE LEMMA

Complex geometrical optics solutions for Lipschitz conductivities

Inner product on B -algebras of operators on a free Banach space over the Levi-Civita field

Euler Equations: local existence

Banach Spaces V: A Closer Look at the w- and the w -Topologies

l(y j ) = 0 for all y j (1)

Conservative Control Systems Described by the Schrödinger Equation

ON THE SCHRÖDINGER EQUATION INVOLVING A CRITICAL SOBOLEV EXPONENT AND MAGNETIC FIELD. Jan Chabrowski Andrzej Szulkin. 1.

Math 209B Homework 2

New York Journal of Mathematics. A Refinement of Ball s Theorem on Young Measures

Here we used the multiindex notation:

Fredholm Theory. April 25, 2018

Exponential stability of families of linear delay systems

The local equicontinuity of a maximal monotone operator

Uniqueness of ground states for quasilinear elliptic equations in the exponential case

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

Weakly Compact Composition Operators on Hardy Spaces of the Upper Half-Plane 1

INF-SUP CONDITION FOR OPERATOR EQUATIONS

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

LECTURE 5: THE METHOD OF STATIONARY PHASE

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

Multivariable Calculus

Regularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

1.2 Fundamental Theorems of Functional Analysis

Discreteness of Transmission Eigenvalues via Upper Triangular Compact Operators

COMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS

Overview of normed linear spaces

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

arxiv:math/ v1 [math.fa] 31 Mar 1994

Transcription:

Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is shown to possess, under appropriate conditions, a non-degenerate solution u ε in H 2 (R n. It is shown that the linearised operator T ε at the solution satisfies T 1 ε = O(ε 2 as ε 0. 1 Introduction In this paper we consider the question of non-degeneracy of certain solutions of a partial differential equation, where by non-degenerate we mean that the linearised problem at the solution, in appropriate function spaces, defines an invertible linear operator. Throughout this article, by an invertible operator, with specified Banach spaces as domain and codomain, we shall mean a linear surjective homeomorphism. The importance of non-degenerate solutions lies in their stable behaviour under perturbations. Indeed the implicit function theorem implies the persistence of a non-degenerate solution under perturbations of the problem that are C 1 -small and map between the same function spaces. Moreover for equations of the type we shall consider, non-degenerate solutions give rise to multibump solutions, see for example [1], [3]. Let us consider first the problem u + F(u = 0 (1.1 in R n. Under conditions on F to be specified the non-linear operator Γ(u = u+f(u is well-defined from W 2,2 (R n to L 2 (R n and will have a well-defined Frechet derivative, the linear operator v DΓ(uv = v + df du (uv. Throughout this paper we shall write H k for W k,2 (R n and L p for L p (R n. The second author was supported by a grant from the University of Iceland Research Fund 1

Let us assume that we have a solution φ of (1.1. It is highly implausible for φ to be a non-degenerate solution as the partial derivatives D k φ will be in the kernel of DΓ(φ if they lie in H 2. Similarly, since the problem (1.1 commutes with rotations, we expect the functions φ(x Tx to be in the kernel whenever T is a skew-symmetric matrix. However these functions will be 0 if φ is spherically symmetric. We shall say that a spherically symmetric solution φ is quasi-non-degenerate if the partial derivatives D j φ(x belong to H 2, they are linearly independent, span the kernel of DΓ(φ, whilst the range of DΓ(φ is the orthogonal complement in L 2 to its kernel. Quasi-non-degenerate solutions are easy to construct in one dimension. We consider u + F(u = 0 where F is a smooth function such that F(0 = 0, F (0 > 0 and Φ(u = F(udu satisfies sup u>0 Φ(u > Φ(0. Then the solution φ(x is quasi-nondegenerate where x (φ(x, φ (x is the phase plane trajectory in the region u > 0 which tends to the saddle point (0, 0 as x ±. In higher dimensions a range of quasi-non-degenerate solutions is known for the equation u + u u p = 0 (1.2 More precisely it is known that the ground state solution, defined to be the solution with minimum energy ( 1 2 u 2 + 1 2 u2 1 p+1 up+1 dx, exists and is quasi-non-degenerate for all p > 1 if n = 1, 2 and for 1 < p < (n + 2/(n 2 if n > 2. See the papers [2], [5], [7]. The possibility arises of obtaining non-degenerate solutions by perturbing (1.1, when a quasi-non-degenerate solution is known, to a problem explicitly containing x. Various perturbation schemes have been studied, for example that of [3, sections 4, 5], which generates non-degenerate solutions to a more general equation of the type u + F(x, u, u = 0. Another paper [4] considered perturbations of a different nature. Suppose we have a one-parameter continuum of problems u + F(a, u = 0 (1.3 where a belongs to real interval I, and suppose for each value a I we have a quasi-nondegenerate solution φ a (x. Now we perturb (1.3 to u + F(V (εx, u = 0 (1.4 where V (x is function with range in I and ε > 0. The difficulty of this scheme arises from the weak nature of the convergence to a problem of the form (1.3 as ε 0. The scheme just described acquires an added interest from the observation that if ψ(x is a solution of (1.2 then φ a (x = a µ ψ(a ν x satisfies if µ = s t+1 p 1 and ν = s 2. u + a s u a t u p = 0 2

In the previous paper [4, section 3] it was shown how to obtain solutions of (1.4 using rescaling of the unknown function u. The nature of the rescaling obscured the question of non-degeneracy of the perturbed solutions. The main object of this paper is provide a clear proof of non-degeneracy for solutions of (1.4 together with an estimate of the blow-up of the inverse of the derivative as ε 0. 2 Principal assumptions Properties of F. We assume that F is a C 2 map satisfying the following growth conditions: F(a, u, F (a, u a, (a, u a2 C ( u + u α 1 F (a, u u, (a, u u a C (1 + u α 2 (a, u u2 C (1 + u α 3 where C is chosen uniformly for a in a bounded interval and the exponents α i are nonnegative (except α 1 1. No upper limits are placed on α i if n 4 whereas for n 5 we assume that α 1 n n 4, α 2 4 n 4, α 3 < 8 n n 4 Under these growth conditions F, F a, 2 F a 2, F u, u a and 2 F define Nemitskii operators u2 by means of F, F a, F aa : L H 2 L 2 F u, F ua : L H 2 L(H 2, L 2 F uu : L H 2 L 2 (H 2 H 2, L 2 F(m, u = F(m, u, F u (m, uv = F (m, uv u and so on. In these formulas we use L k to denote the appropriate space of symmetric k-linear mappings. Under these conditions, the Nemitskii operators induced by F and its derivatives have the following boundedness property (see [4]: Lemma 2.1 The maps F, F a, F aa, F u, F ua and F uu map bounded subsets of L H 2 to bounded subsets of the appropriate function or operator space. 3

The following convergence properties were proved in [4] and will be used repeatedly later on. Lemma 2.2 Let m ν L be a bounded sequence that tends pointwise to m L. Let u ν in H 2 converge to u H 2 and let v, w H 2. Then F(m ν, u ν F(m, u, F a (m ν, u ν F a (m, u, F u (m ν, u ν v F u (m, uv F uu (m ν, u ν (v, w F uu (m, u(v, w Lemma 2.3 Let m ν L be a bounded sequence that tends pointwise to m L and let u ν H 2 converge weakly to u H 2. Then, for any bounded sequence v ν H 2, in the weak topology on the dual of H 2. F u (m ν, u ν v ν F u (m, uv ν 0 Lemma 2.4 Let m ν be a bounded family in L, and u ν, v ν and w ν be bounded sequences in H 2 such that either 1. u ν v ν is convergent in H 2 and w ν converges weakly to 0, or 2. u ν v ν converges weakly to 0 in H 2 and w ν is convergent. Then ( F u (m ν, u ν F u (m ν, v ν w ν 0 in L 2. Furthermore, F u (m, u F u (m, v is a compact operator for each m L, and u, v H 2. Properties of φ a. The function φ a (x is a solution to u + F(a, u = 0 in H 2 and has the following properties: 1. φ a (x = Φ a (r is spherically symmetric. F 2. a (a,φ a(rφ a(rr dx 0. 3. φ a and its first derivatives have exponential decay. 4. φ a is a quasi-non-degenerate solution, that is, the operator + F u (a, φ a(x : H 2 L 2 has as its kernel the space spanned by the n partial derivatives D j φ a (x, which are assumed to be independent, and its range is the space in L 2 orthogonal to its kernel. This implicitly says that the partial derivatives belong to H 2. These properties hold in the model case of the non-linear Schrödinger equation 1.2 described in the introduction, see [2], [5] and [7]. 4

Properties of V. The function V is C 2 with its range in the interval I. It and its first partial derivatives are bounded, while its second partial derivatives have polynomial growth. Positivity assumption. There exists δ > 0 such that for all a in the range of V. F u (a,0 > δ For later reference we shall need a version of Wang s Lemma (see [6, 3]: Lemma 2.5 Let f ν be a family of measurable functions such that 0 < δ < f ν (x < K for all ν and constants δ and K. Let µ ν be a sequence of non-negative numbers and let v ν be a sequence in H 2 such that in L 2. Then v ν 0 in H 2. v ν + (f ν (x + µ ν v ν 0 Under these conditions the following theorem, proved in [4], holds. Theorem 2.6 Let b be a non-degenerate critical point of V and let a = V (b. Then, for sufficiently small ε > 0, the equation u + F(V (εx, u = 0 has a solution of the form u ε (x = φ a (x b ( ε + s ε + ε 2 w ε x b ε + s ε where s ε R n, w ε H 2 and w ε is orthogonal in L 2 to the partial derivatives D j φ a. Both s ε and w ε depend continuously on ε. As ε tends to 0, s ε tends to 0 and w ε tends to a computable function η H 2, which is the unique solution v = η(x orthogonal to the partial derivatives D j φ a of the problem v + F u (a, φ a(xv = 1 F 2 a (a, φ a(x(h(bx x (2.1 where H(b is the Hessian matrix of V at the point b. 5

3 Non-degeneracy of the solutions The main conclusion of this paper is the following result. Theorem 3.1 For sufficiently small ε > 0 the solutions u ε obtained under the conditions of theorem 2.6 are non-degenerate, that is, the operator T ε := + F u (V (εx, u ε from H 2 to L 2 is invertible. Moreover, we have the following bound on its inverse: ( 1 Tε 1 = O ε 2 as ε tends to 0. Proof. Checking invertibility of an operator and getting estimates on the norm of its inverse is always made easier by knowing that this operator is Fredholm, so we first remark that our positivity assumption implies that T ε is a Fredholm operator of index 0. Indeed, let A ε = + F (V (εx, 0 u from H 2 to L 2. By the positivity assumption A ε is a self-adjoint operator with domain H 2 satisfying A ε > + δ, and hence an invertible operator from H 2 to L 2. Now T ε is a compact perturbation of A ε, since T ε A ε is given by multiplication by f(x := F u (V (εx, u ε F (V (εx, 0 u and therefore defines a compact operator from H 2 to L 2 by lemma 2.4. Now we have a useful criterion that gives invertibility and our sought for estimate on the inverse. Lemma 3.2 Let (Γ ε 0 ε ε0 be a family of Fredholm operators of index 0 between two Banach spaces E and F. Suppose that there do not exist sequences ε ν 0, x ν E, such that x ν = 1 and Γ εν x ν 0. There then exists ε 1 > 0, such that for all 0 < ε < ε 1, the operator Γ ε is invertible and there exists a constant K independent of ε such that Γ 1 ε K. Proof of lemma 3.2. Under our assumption there is no sequence x ν Ker(Γ εν with x ν = 1 and ε ν 0; so Γ ε is injective for sufficiently small ε, and therefore invertible because of the Fredholm alternative. 6

Assume next (seeking a contradiction that we can find a sequence ε ν 0 such that Γε 1 ν +. Then there exists a sequence y ν F, such that y ν = 1 and Γ 1 ε ν y ν +. Letting we see that x ν = 1 and x ν = Γ 1 ε ν y ν Γ 1 ε ν y ν E Γ εν x ν = y ν Γ 1 ε ν y ν which tends to 0, contradicting the assumption of the lemma. After these preliminaries, we can continue with the proof of theorem 3.1. Let S ε = + F u (V (ε(x s ε + b, φ a + ε 2 w ε : H 2 L 2. Then S ε = Rε 1 T ε R ε where R ε is translation ( (R ε v(x = v x + s ε b, ε which, considered either from H 2 to itself or L 2 to itself, is an isometry. It suffices therefore to show that S ε is invertible and that Sε 1 = O(ε 2. According to lemma 3.2 we seek a contradiction from the assumption that there exist sequences ε 0 and ũ ε H 2, with ũ ε H 2 = 1, such that ( ε 2 ũ ε + F u (V (ε(x s ε + b, φ a + ε 2 w ε ũ ε 0 (3.1 in L 2 as ε tends to 0. (For the sake of readability we drop the index ν from now on with the understanding that by ε 0 we mean a sequence ε ν 0. Let ũ ε = σ ε φ a +γ ε ṽ ε where σ ε R n, ṽ ε W, ṽ ε H 2 = 1 and γ ε 0. Then γ ε and σ ε are bounded sequences and we may assume (going to a subsequence that γ ε γ 0, σ ε σ 0 and ṽ ε v 0 weakly in H 2. In view of the equation ( + F u (a, φ a φ a = 0 (3.1 implies ε 2 γ ε S ε ṽ ε + ε 2 [ F u (V (ε(x s ε + b, φ a + ε 2 w ε F u (a, φ a in L 2. We claim that the second term in (3.2 tends in L 2 to u 2 (a, φ aη φ a σ 0 + 1 2 u a (a, φ a(h(bx x φ a σ 0 7 ] ( φ a σ ε 0 (3.2

where H(b is the Hessian matrix of V and η is the solution to (2.1 (see theorem 2.6. To see this we expand it into ( F ε 2 u (V (ε(x s ε + b, φ a + ε 2 w ε F u (V (ε(x s ε + b, φ a ( φ a σ ε ( F +ε 2 u (V (ε(x s ε + b, φ a F (3.3 u (a, φ a ( φ a σ ε For the first term of (3.3, we obtain ( F ε 2 u (V (ε(x s ε + b, φ a + ε 2 w ε F u (V (ε(x s ε + b, φ a ( φ a σ ε For fixed τ [0, 1] = 1 0 u 2 (V (ε(x s ε + b, φ a + τε 2 w ε w ε φ a σ ε dτ u 2 (V (ε(x s ε + b, φ a + τε 2 w ε η φ a σ 0 2 F u 2 (a, φ aη φ a σ 0 according to Lemma 2.2. Moreover, u 2 (V (ε(x s ε + b, φ a + τε 2 w ε w ε ( φ a σ ε 2 F u 2 (V (ε(x s ε + b, φ a + τε 2 w ε η( φ a σ 0 (3.4 tends to 0 owing to Lemma 2.1, the boundedness of V, and since w ε η in H 2 and φ a σ ε φ a σ 0 in H 2. Therefore, the integrand in (3.4 tends to u 2 (a, φ aη φ a σ 0 in L 2 at fixed τ. Also, the L 2 -norm of the integrand stays bounded independently of τ and ε (again by Lemma 2.1, so the dominated convergence theorem for L 2 -valued integrals shows that the integral tends in L 2 to u 2 (a, φ aη φ a σ 0 For the second term of (3.3 we obtain ( F ε 2 u (V (ε(x s ε + b, φ a F u (a, φ a ( φ a σ ε = ε 1 1 0 u a (V (τε(x s ε + b, φ a ( φ a σ ε V (τε(x sε + b (x s ε dτ 8

Since, by assumption, V (b = 0 this is equal to 1 1 0 0 u a (V (τε(x s ε + b, φ a ( φ a σ ε H(ρτε(x sε + b(x s ε (x s ε τ dρ dτ Now, H(x has polynomial growth, u a (V (τε(x s ε + b, φ a is bounded uniformly with respect to τ and ε as x goes to infinity because of our growth conditions, and ( φ a σ ε has uniform exponential decay as x goes to infinity (since σ ε is a bounded sequence. Hence, for fixed τ, the integrand converges to u a (a, φ a ( φ a σ 0 H(b(x xτ in L 2, as ε goes to 0, and is also bounded uniformly with respect to τ and ε by a fixed function in L 2. We can therefore apply the dominated convergence theorem for L 2 -valued integrals, and the double integral tends to 1 2 u a (a, φ a ( φ a σ 0 H(b(x x. This proves our claim about the second term of (3.2. Next we consider the first term of (3.2. We claim that ε 2 γ ε is bounded. Suppose, for the sake of contradiction, that ε 2 γ ε is unbounded. Going to a subsequence we may assume that ε 2 γε 1 0 and multiplying (3.2 by it we obtain S ε ṽ ε 0, that is, in L 2. Now we have ṽ ε + F u (V (ε(x s ε + b, φ a + ε 2 w ε ṽ ε 0 (3.5 F u (a, φ aṽ ε F u (a, φ av 0 weakly in L 2 since multiplication by F u (a, φ a is a norm-continuous linear operator from H 2 to L 2. Moreover ( F u (V (ε(x s ε + b, φ a + ε 2 w ε F u (a, φ a ṽ ε 0 in the weak topology of the dual of H 2 by lemma 2.3. Finally ṽ ε v 0 in the sense of distributions. We conclude from (3.5 that v 0 + F u (a, φ av 0 = 0. But v 0 W so that v 0 = 0. We deduce by lemma 2.4 that ( F u (V (ε(x s ε + b, φ a + ε 2 w ε F u (V (ε(x s ε + b, φ a ṽ ε 0 9

in L 2, so that now (3.5 yields ( + F u (V (ε(x s ε + b, 0 ṽ ε 0 in L 2. Now the positivity assumption and Wang s lemma give ṽ ε 0 in H 2 thus contradicting the assumption that ṽ ε H 2 = 1. This contradiction implies that ε 2 γ ε is bounded as claimed. We may therefore assume, going once more to a subsequence, that ε 2 γ ε c 0. Armed with this knowledge we return to (3.2 reminding ourselves at this point that we do not have v 0 = 0. We do, however, still have that S ε ṽ ε v 0 + F u (a, φ av 0 in the sense of distributions. Passing to the limit in 3.2 we find that ( + F u (a, φ a cv 0 + 2 F u 2 (a, φ aη( φ a σ 0 Now recall that η satisfies the equation + 1 2 u a (a, φ a(h(bx x φ a σ 0 = 0 (3.6 η + F u (a, φ aη = 1 F 2 a (a, φ a(h(bx x Differentiating this with respect to x gives the vector-valued equation ( η + F u (a, φ a η + 2 F u 2 (a, φ aη φ a = 1 2 a u (a, φ a(h(bx x φ a F a (a, φ ah(bx Taking the inner product with σ 0 and using (3.6 gives ( + F u (a, φ a (cv 0 + η σ 0 = F a (a, φ ah(bx σ 0 (3.7 Hence F a (a, φ ah(bx σ 0 is in the range of + F u (a, φ a, which is by assumption W. It follows that σ 0 satisfies the linear equation system ( F a (a, φ ah(bx σ 0 D j φ a (xdx = 0, j = 1,...,n. 10

We claim that this implies σ 0 = 0. Write σ 0 = (σ 1,...,σ n. The inner product H(bx σ 0 is given by H(bx σ 0 = σ i (x k H k,i i,k where the H k,i are the coefficients of the matrix H(b. Moreover φ a is spherically symmetric, φ a (x = Φ a (r, so our system can be written as σ i (x k H k,i F a (a,φ a(r Φ a(rx j dx = 0, j = 1,...,n. r i,k Spherical symmetry causes terms involving mixed products x j x k, j k, to vanish, leading to the simpler equation ( F σ i H j,i a (a,φ a(rφ a(r x2 j r dx = 0 i for all j. It is easily seen that this integral is independent of j, and so its value is C := 1 F n a (a,φ a(rφ a(rr dx which is non-zero by assumption. Therefore, our system reduces to C i σ i H j,i = 0 for all j, and since H(b is an invertible matrix, this implies σ 0 = 0, hence our claim. Now to the final contradiction: we have that ũ ε = φ a σ ε + γ ε ṽ ε and we now know that for a subsequence γ ε 0 and σ ε 0. This implies ũ ε 0 in H 2, contradicting ũ ε H 2 = 1. This concludes the proof. We remark that for c < 2 it is not the case that T 1 ε = O(ε c. Indeed if c < 2 then lim ε 0 ε c T ε v ε = 0 in L 2, where v ε (x = D j φ a (x b ε + s ε. 4 Remark on the assumptions The non-vanishing of the integral I := F a (a,φ a(rφ a(rr dx (4.1 11

was used in the proof (as well as in the proof of the very existence of u ε. This condition seems rather technical and meaningless. To replace it by a more natural one, we shall assume that the φ a form a (smooth continuum with respect to a, an assumption that we did not need before, since we were always working at fixed a. This is often the case in practice, since the functions φ a are usually obtained by scaling φ 1 (for a = 1. Proposition 4.1 In addition to all previous hypotheses on φ a, assume that it is a C 1 function of a. Then the integral I is non-zero if and only if ( d φ a 2 dx 0 da Proof. We shall in fact establish the identity F I := a (a,φ a(rφ a(rr dx = d ( da φ a 2 dx By spherical symmetry we have F F a (a,φ a(rφ a(rr dx = n a (a, φ a(xx j D j φ a (xdx for each j. Differentiating the equation φ a + F(a, φ a = 0 with respect to a gives ( φa + F a u (a, φ a φ a a + F a (a, φ a = 0 and therefore ( I = n F φa = n a using self-adjointness. We expand ( u (a, φ φa a a ( F u (a, φ a (x j D j φ a dx (x j D j φ a = x j D j φ a + 2D 2 jφ a x j D j φ a (xdx (4.2 and since the partial derivatives D j φ a belong to the kernel of + F u (a, φ a, we are left with φa I = 2n a D2 jφ a dx This is true for each j, so φa I = 2 a φ a dx = 2 φ a 12 ( φa dx = d ( a da φ a 2 dx

and the proof is complete. We now give more details about how a continuum can be obtained from a single solution for a fixed value of a, and how the result of the previous proposition applies then. Assume we are given a non-trivial, spherically symmetric solution ψ(x in H 2 of an equation u + G(u = 0 where G satisfies our regularity and growth conditions. For a in a bounded interval I, we put φ a (x = a µ ψ(a ν x for positive exponents µ and ν. This is obviously smooth with respect to a. Moreover, φ a = a µ+2ν ψ(a ν x = a µ+2ν G(a µ φ a Therefore φ a solves u + F(a, u = 0 where F(a, u = a µ+2ν G(a µ u We see that F(1, u = G(u. The function F satisfies our growth conditions. According to proposition 4.1, the non-vanishing of the integral 4.1 reduces to 0 d (a 2µ+2ν ψ(a ν x 2 dx = (2µ + 2ν nνa 2µ+2ν nν 1 ψ 2 dx da So a necessary and sufficient condition for the non-vanishing of this integral is simply 2µ + 2ν nν 0 Under this simple assumption, we can apply Theorems 2.6 and 3.1, using a potential V with range in I. References [1] S. Angenent. The shadowing lemma for elliptic PDE, pages 7-22 in Dynamics of infinite-dimensional systems, S. N. Chow and J. K. Hale, Springer-Verlag, New York, 1987. [2] M. K. Kwong. Uniqueness of positive solutions of u u + u p = 0 in R n. Arch. Rational Mech. Anal. 105, 243-266 (1989. [3] R. Magnus. The implicit function theorem and multibump solutions of periodic partial differential equations, in Proceedings of the Royal Society of Edinburgh 136A, 559-583 (2006. 13

[4] R. Magnus. A scaling approach to bumps and multi-bumps for nonlinear partial differential equations. Proceedings of the Royal Society of Edinburgh 136A, 585-614 (2006. [5] W. A. Strauss. Existence of solitary waves in higher dimensions. Comm. Math. Phys. 55 no. 2, 149-162 (1977. [6] X. Wang. On concentration of positive bound states of nonlinear Schrdinger equations. Comm. Math. Phys. 153, 229-244 (1993. [7] M. Weinstein. Modulational stability of the ground states of nonlinear Schrdinger equations. SIAM J. Math. Anal. 16, 567-576 (1985. Authors address: The University Science Institute, University of Iceland, Dunhaga 3, 107 Reykjavik, Iceland. E-mail: robmag@hi.is, oms3@hi.is. 14