Solitary waves for some nonlinear Schrödinger systems
Authors: de Figueiredo Djairo G. , Lopes Orlando 
Published: December 2006

In this paper we study the existence of radially symmetric positive solutions in

H_{\mathrm{rad}}^{1}(\mathbb{R}^{N}) \times H_{\mathrm{rad}}^{1}(\mathbb{R}^{N})

of the elliptic system:

−\mathrm{\Delta }u + u−\left(\alpha u^{2} + \beta v^{2}\right)u = 0,

−\mathrm{\Delta }v + \omega ^{2}v−\left(\beta u^{2} + \gamma v^{2}\right)v = 0,

N = 1,2,3

, where

α

and

γ

are positive constants (

β

will be allowed to be negative). This system has trivial solutions of the form

(\phi ,0)

and

(0,\psi )

where

ϕ

and

ψ

are nontrivial solutions of scalar equations. The existence of nontrivial solutions for some values of the parameters

\alpha ,\beta ,\gamma ,\omega

has been studied recently by several authors [A. Ambrosetti, E. Colorado, Bound and ground states of coupled nonlinear Schrödinger equations, C. R. Acad. Sci. Paris, Ser. I 342 (2006) 453–458; T.C. Lin, J. Wei, Ground states of

N

coupled nonlinear Schrödinger equations in

R^{n}

,

n⩽3

, Comm. Math. Phys. 255 (2005) 629–653; T.C. Lin, J. Wei, Ground states of

N

coupled nonlinear Schrödinger equations in

R^{n}

,

n⩽3

, Comm. Math. Phys., Erratum, in press; L. Maia, E. Montefusco, B. Pellacci, Positive solutions for a weakly coupled nonlinear Schrödinger system, preprint; B. Sirakov, Least energy solitary waves for a system of nonlinear Schrödinger equations in

R^{N}

, preprint; J. Yang, Classification of the solitary waves in coupled nonlinear Schrödinger equations, Physica D 108 (1997) 92–112]. For

N = 2,3

, perhaps the most general existence result has been proved in [A. Ambrosetti, E. Colorado, Bound and ground states of coupled nonlinear Schrödinger equations, C. R. Acad. Sci. Paris, Ser. I 342 (2006) 453–458] under conditions which are equivalent to ours. Motivated by some numerical computations, we return to this problem and, using our approach, we give a more detailed description of the regions of parameters for which existence can be proved. In particular, based also on numerical evidence, we show that the shape of the region of the parameters for which existence of solution can be proved, changes drastically when we pass from dimensions

N = 1,2

to dimension

N = 3

. Our approach differs from the ones used before. It relies heavily on the spectral theory for linear elliptic operators. Furthermore, we also consider the case

N = 1

which has to be treated more extensively due to some lack of compactness for even functions. This case has not been treated before.

Dans cet article, on étudie l'existence des solutions positives radialement symétriques dans

H_{\mathrm{rad}}^{1}(\mathbb{R}^{N}) \times H_{\mathrm{rad}}^{1}(\mathbb{R}^{N})

du système elliptique

−\mathrm{\Delta }u + u−\left(\alpha u^{2} + \beta v^{2}\right)u = 0,

−\mathrm{\Delta }v + \omega ^{2}v−\left(\beta u^{2} + \gamma v^{2}\right)v = 0,

N = 1,2,3

où

α

et

γ

sont des constantes positives (il est permis que

β

soit négatif). Ce système a des solutions triviales de la forme

(\phi ,0)

et

(0,\psi )

où

ϕ

et

ψ

sont des solutions non triviales des équations scalaires. L'existence de solutions non triviales pour certaines valeurs des paramètres

\alpha ,\beta ,\gamma ,\omega

a été étudiée récemment par plusieurs auteurs. Pour

N = 2,3

peut-être le résultat le plus général d'existence a été prouvé dans [A. Ambrosetti, E. Colorado, Bound and ground states of coupled nonlinear Schrödinger equations, C. R. Acad. Sci. Paris, Ser. I 342 (2006) 453–458] sous des conditions qui sont équivalentes aux nôtres. Motivé par quelques calculs numériques on retourne à ce problème et en utilisant notre approche on donne une description plus détaillée des régions de l'espace des paramètres pour lesquels l'existence peut être prouvée. En particulier, en se basant sur des résultats numériques, on démontre que la forme de la région de l'espace des paramètres pour lesquels l'existence de solutions peut être prouvée, change drastiquement quand on passe des dimensions

N = 1,2

à la dimension

N = 3

. Notre approche diffère des précédentes. Elle repose fortement sur la théorie spectrale des opérateurs linéaires. De plus, on considère aussi les cas

N = 1

qui nécessite un traitement plus détaillé dût au manque de compacité pour les fonctions paires. Ce cas n'a pas été traité avant.