Multiple solutions of supercritical elliptic problems in perturbed domains

We are concerned with existence and multiplicity of nontrivial solutions for the Dirichlet problem Δu+|u|p−2u=0 in Ω, u=0 on ∂Ω, where Ω is a bounded domain of Rn, n⩾3, and . We show that suitable perturbations of the domain, which modify its topological properties, give rise to a number of solutions which tends to infinity as the size of the perturbation tends to zero (some examples show that the perturbed domains may be even contractible). More precisely, we prove that for all k∈N, if the size of the perturbation is small enough (depending on k), there exist at least k pairs of nontrivial solutions, which concentrate near the perturbation as the size of the perturbation tends to zero. The method we use, which is completely variational, gives also further informations on the qualitative properties of the solutions; in particular, these solutions (which may change sign) do not have more than k nodal regions and at least two solutions (which minimize the corresponding energy functional) have constant sign.

RésuméNous étudions l'existence et la multiplicité de solutions pour le problème de Dirichlet Δu+|u|p−2u=0, u≢0 en Ω, u=0 sur ∂Ω, où Ω est un ouvert borné de Rn, n⩾3, et . Nous démontrons que l'existence et le nombre de solutions sont liés à certaines perturbations du domaine, qui modifient ses propriétés topologiques. Chaque perturbation dépend d'un paramètre ε (l'épaisseur de la perturbation) ; quand ε→0, le nombre de solutions tend à l'infini et les solutions se concentrent près de la perturbation (des examples montrent que les domaines perturbés peuvent même être contractiles). Plus précisément, nous prouvons que pour tout k∈N il existe εk>0 tel que, pour tout ε∈]0,εk[, le problème a au moins k paires de solutions. La méthode que nous suivons, qui est complètement variationnelle, donne aussi des informations sur les propriétés qualitatives des solutions. En particulier, ces solutions (qui peuvent changer de signe) ne peuvent pas avoir plus que k régions nodales ; de plus, au moins deux solutions (qui minimisent la fonctionnelle de l'énergie) ont signe constant.