Next Article in Journal
Selection of Optimal Intensity Measures and Seismic Fragility Analysis of Prefabricated Rectangular Subway Stations
Previous Article in Journal
Modeling Temporal Symmetry: Dual-Component Framework for Trends and Fluctuations in Time Series Forecasting
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Interior Multipeaked Solutions for Slightly Subcritical Elliptic Problems

by
Abdulhadi Almoteri
and
Khalil El Mehdi
*
Department of Mathematics, College of Science, Qassim University, Buraydah 51542, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(4), 579; https://doi.org/10.3390/sym17040579
Submission received: 14 March 2025 / Revised: 1 April 2025 / Accepted: 6 April 2025 / Published: 10 April 2025
(This article belongs to the Section Mathematics)

Abstract

:
In this paper, we consider the nonlinear elliptic equation Δ u + V ( x ) u = g ( x ) u n + 2 n 2 ε in a bounded, smooth domain Ω in R n , under zero Neumann boundary conditions, where n 4 , ε is a small positive parameter, and V and g are non-constant smooth positive functions on Ω ¯ . Under certain flatness conditions on the function g, we provide a complete description of the single interior blow-up scenario for solutions that weakly converge to zero. We also construct interior multipeaked solutions, both with isolated and clustered bubbles. The proofs of our results rely on a refined asymptotic expansion of the gradient of the corresponding functional. Furthermore, no assumption regarding the symmetry of the domain is required.

1. Introduction and Main Results

Over the past few decades, considerable attention has been given to studying the following elliptic problem:
( P μ , q ) Δ u + μ u = u q , u > 0 in Ω , u ν = 0 , on Ω ,
where Ω is a smooth and bounded open set of R n with n 3 , μ is a positive real number, and q > 1 .
Problem ( P μ , q ) is a widely recognized example found in numerous applied scientific fields. For example, it can be interpreted as the stationary problem within a chemotaxis model [1,2], or as a shadow system derived from a reaction–diffusion framework in morphogenesis [3]. Additionally, from a mathematical perspective, problem ( P μ , q ) is of particular interest because its solutions frequently exhibit the bubbling phenomenon. This refers to the emergence of concentration peaks around one or more points within the domain or on its boundary, with the solutions remaining negligibly small in other regions.
A substantial body of research has investigated the case where the exponent q is fixed, and μ is treated as a parameter. In some studies, μ is assumed to converge to zero, while in others, it is considered in the limit as it goes to infinity. When q is fixed and subcritical (i.e., 1 < q < n + 2 n 2 ), the only solution to problem ( P μ , q ) for small μ is the constant solution. However, as μ increases, non-constant solutions emerge, which exhibit blow-up at one or more points as μ [4]. For large μ , the least-energy solution blows up at a boundary point where the mean curvature is maximized [4,5,6,7]. Several studies, including [4,8,9,10,11], have examined higher-energy solutions of ( P μ , q ) that exhibit this asymptotic profile, with blow-up occurring at either boundary or interior points as μ . When q is critical (i.e., q = n + 2 n 2 ), the situation is significantly different. For n { 4 , 5 , 6 } and small μ , problem ( P μ , q ) admits non-constant solutions [12,13,14]. However, the limiting equation of problem ( P μ , q ) , arising when studying the asymptotic behavior of the least-energy solution as μ , has no solutions. Nevertheless, least-energy solutions u μ still exist for large μ , and concentration phenomena appear in the following form [15,16]:
u μ ( x ) δ a μ , λ μ ( x ) ,
where, for a R n and λ > 0 , δ a , λ represents the standard bubble defined by
δ a , λ ( x ) = c 0 λ n 2 2 ( 1 + λ 2 x a 2 ) n 2 2 , x R n , c 0 = ( n ( n 2 ) ) n 2 4
and these are the only solutions [17] to the following problem:
Δ u = u n + 2 n 2 , u > 0 in R n .
Several studies, including [15,16,18,19,20,21,22,23,24,25] and the references therein have constructed higher-energy solutions of ( P μ , q ) with concentration at the boundary as μ . In contrast to the subcritical case, these solutions require at least one blow-up point to be located on the boundary [26].
Another interesting direction of research for problem ( P μ , q ) involves investigating blow-up phenomena by fixing μ while allowing the exponent q to approach the critical exponent, i.e., q = n + 2 n 2 ± ε , where ε is a small positive parameter. This was initially explored by Rey and Wei [27,28]. For n 4 and q = n + 2 n 2 + ε , they demonstrated the existence of a solution that blows up at a boundary point where the mean curvature is maximized [27]. They also established the existence of a solution that blows up at a boundary point where the mean curvature is minimized when q = n + 2 n 2 ε and Ω is not convex [27]. In dimension 3, they identified a solution with a single interior blow-up point [28]. More recently, it was shown that for n 4 and q = n + 2 n 2 + ε , no solutions exist that exhibit blow-up solely at interior points when ε is a small positive number [29]. Additionally, in [30], the authors extended the problem by replacing the constant μ with a function V and studied the scenario when q = n + 2 n 2 ε , constructing interior bubbling solutions. In this case, the interior blow-up points of these solutions converge, as ε 0 , to the critical points of the function V. More recently, in [31], the authors examined the case where a function g is introduced in front of the nonlinear term, considering the following problem
( P ε ) : Δ u + V ( x ) u = g ( x ) u p ε , u > 0 in Ω u ν = 0 on Ω ,
where Ω is a smooth bounded domain in R n , n 4 , p + 1 = ( 2 n ) / ( n 2 ) is the critical Sobolev exponent for the embedding H 1 ( Ω ) L q ( Ω ) , ε is a small positive parameter, and g and V are C 3 positive functions defined on Ω ¯ .
Assuming that the critical points of g are non-degenerate, the authors demonstrated that, in contrast to the case where g 1 studied in [30], problem ( P ε ) does not admit interior bubbling solutions with clustered bubbles. However, they were able to construct solutions u ε to ( P ε ) with isolated interior multiple blow-up points. By “clustered bubbles”, we refer to a sum of bubbles that have rates of the same order, with their concentration points converging to a single point y. In this scenario, it holds that
lim r 0 lim ε 0 B ( y , r ) g ( x ) u ε 2 n / ( n 2 ) ( x ) d x = k g ( y ) S n with   k 2   and   S n : = R n δ 0 , 1 2 n / ( n 2 ) .
On the other hand, by “isolated bubbles”, we refer to a sum of bubbles with concentration points a i satisfying | a i a j | c > 0 for each j i .
The results mentioned above raise a natural question: what happens when the critical points of g are degenerate, particularly when g satisfies a specific ’flatness’ condition? The aim of this paper is to address this question. Throughout the paper, we assume that g satisfies a certain flatness condition (see Equation (2)) for the precise statement). First, we provide a complete description of the asymptotic behavior of interior single-peaked solutions. Second, we show that, unlike the case where the non-degeneracy assumption is made, as studied by the authors in [31], interior multipeaked solutions with clustered bubbles do indeed exist. We will also prove that solutions with isolated bubbles continue to exist. These existence results hold in both cases, whether the concentration points are critical points of the function V or not.
To present our results, we need to establish some definitions. We say that a function f satisfies a flatness condition near a critical point y if it can be expressed as
f ( x ) = f ( y ) + h ( x y ) + o ( | x y | γ )   with   γ : = γ y > 2 ,
where h satisfies
h ( t x ) = | t | γ h ( x ) for   each t R   and   x R n .
Additionally, we say that f satisfies assumption ( H 1 ) if the following holds:
Hypothesis 1.
For ω R n , the equation
h ( ξ ) = a d m i t s   a   s o l u t i o n   ξ   w i t h   D 2 h ( ξ )   i s   i n v e r t i b l e .
Note that if y is a non-degenerate critical point of f, then Equation (2) holds immediately with γ = 2 and the assumptions given in Equation (3) are satisfied. Furthermore, as an example of functions h that satisfy these assumptions, we can take h ( x ) = | x | γ for any γ 2 .
For a Ω , and λ > 0 , we define the following projection φ a , λ :
Δ φ a , λ + V ( x ) φ a , λ = δ a , λ p in Ω φ a , λ ν = 0 on Ω .
The functions φ a , λ serve as the appropriate approximate solutions, and in their neighborhood, we find the true solution to the problem.
Now, we begin by analyzing the asymptotic behavior of solutions to ( P ε ) that blow up at a single interior point as ε 0 . We provide a complete description of the single interior blow-up scenario for solutions that weakly converge to zero. Specifically, we prove the following.
Theorem 1.
Let n 4 and let ( u ε ) be a family of solutions of ( P ε ) having the form
u ε = α ε φ a ε , λ ε + v ε w i t h
v ε H 1 ( Ω ) 0 , α ε 4 / ( n 2 ) g ( a ε ) 1 , λ ε a n d d ( a ε , ) c > 0 .
Then, the concentration point a ε converges to a critical point y of g.
Furthermore, if Equation (2) is satisfied in the sense of C 2 , then the concentration rate λ ε satisfies
E n V ( y ) ln σ n λ ε λ ε 2 = c 3 ε ( 1 + o ( 1 ) ) ,
where σ 4 = 1 , σ n = 0 for n 5 ,
c 3 : = ( n 2 ) 2 4 c 0 p + 1 R n ( | x | 2 1 ) ln ( 1 + | x | 2 ) ( 1 + | x | 2 ) n + 1 d x > 0 , E 4 = c 0 2 | S 3 | , E n : = n 2 2 c 0 2 R n | x | 2 1 ( 1 + | x | 2 ) n 1 d x > 0 f o r n 5 .
Additionally, if there exists a positive constant β 1 such that | g ( x ) | β 1 | x y | γ 1 in a neighborhood of y, then the concentration point a ε satisfies the following: ε 1 | a ε y | γ 1 is bounded and two cases may arise:
  • If there exists a positive constant β such that ε 1 | a ε y | γ 1 β , then V ( y ) 0 .
  • If lim ε 1 | a ε y | γ 1 = 0 , then y has to be a critical point of V.
Before presenting the rest of our results, we note that the dimension n = 3 is excluded from our work, due to the following reasons:
  • For n 5 , the function δ a , λ L 2 ( R n ) and satisfies
    R n δ a , λ 2 = c λ 2 and Ω δ a , λ 2 = c λ 2 + O 1 λ n .
  • For n { 3 , 4 } , the previous integral diverges. But, since Ω is bounded, for n = 4 , we have
    Ω δ a , λ 2 = c ln λ λ 2 + O 1 λ 2 .
  • For n = 3 , this integral depends on the geometry of Ω , and precise computations are required to determine the principal part. In fact, we have
    Ω δ a , λ 2 = c ( a , Ω ) λ + O 1 λ 2
    where c ( a , Ω ) depends on a and Ω . Hence, this case must be considered separately.
Next, our objective is to establish the converse of Theorem 1. More precisely, we aim to construct interior multipeaked solutions for problem ( P ε ) . According to Theorem 1, we see that such a construction must be centered around a critical point y of g. Furthermore, when the flatness condition Equation (2) on the function g holds in the C 2 sense, there are two distinct cases to consider: one where the gradient of V at y is non-zero, and the other where it is zero. Roughly speaking, in the first case, the rate of convergence is on the order of ε 1 / ( γ 1 ) , while in the second case, it is negligible in comparison to ε 1 / ( γ 1 ) . We begin by constructing interior multipeaked solutions in the first case, and specifically, we prove the following.
Theorem 2.
Let n 4 and let y 1 , , y l be l critical points of g such that, near each y i , the function g satisfies Equation (2) in the sense of C 3 with γ i > 3 . Assume that V ( y i ) 0 for i { 1 , , l } and that condition Equation (3) is satisfied. Then, for any integer N l , there exists a small positive real number ε 0 such that for every ε ( 0 , ε 0 ) , the problem ( P ε ) admits a solution u ε which develops exactly one bubble at each point y i j for j { 1 , , N } and weakly converges to zero in H 1 ( Ω ) . More precisely, there exist values λ 1 , ε , …, λ N , ε satisfying Equation (7) and points a j , ε y i j as ε 0 for all j such that
| | u ε j = 1 N φ a j , ε , λ j , ε | | H 1 ( Ω ) 0 , a s ε 0 .
Additionally, for all j, ε 1 / ( γ i j 1 ) ( a j , ε y i j ) converges to a solution of the equation
h ( ξ j ) = g ( y i j ) c ¯ 5 c 3 D n E n V ( y i j ) V ( y i j ) ,
where c 3 and E n are the constants defined in Theorem 1, c ¯ 5 = n 2 n R n c 0 p + 1 | x | 2 ( 1 + | x | 2 ) n + 1 d x , and
D 4 = c 0 2 2 | S 3 | , D n = ( n 2 ) n R n c 0 2 | x | 2 ( 1 + | x | 2 ) n 1 d x f o r   n 5 .
Theorem 2 provides the following multiplicity result concerning the number of critical points of g that are not critical points of V.
Theorem 3.
Under the assumptions of Theorem 2, there exists an ε 0 > 0 such that for ε ( 0 , ε 0 ] , problem ( P ε ) admits at least 2 l 1 solutions, where l denotes the number of critical points of g that are not critical points of V.
Next, we consider the case where the functions g and V share common critical points. Specifically, we have the following.
Theorem 4.
Let n 5 and let y 1 , , y m be m common critical points of g and V. We assume that these critical points are non-degenerate for V, and that near each such point, g takes the form.
g ( x ) = g ( y i ) + O ( | x y i | γ i ) w i t h γ i > 4 ( i n   t h e   C 3   s e n s e ) .
Then, for any integer N m , there exists a small ε 0 > 0 such that for every ε ( 0 , ε 0 ] , the problem ( P ε ) admits a solution u ε satisfying the following: u ε develops exactly one bubble at each point y i j for j { 1 , , N } and weakly converges to zero in H 1 ( Ω ) as ε 0 . More precisely there exist values λ 1 , ε ,…, λ N , ε of order ε 1 / 2 and points a j , ε y i j as ε 0 for all j such that
| | u ε j = 1 N φ a j , ε , λ j , ε | | H 1 ( Ω ) 0 , a s ε 0 .
In addition, we have ε 1 / ( γ i j 2 ) | a j , ε y i j | 0 as ε 0 for all j { 1 , , N } .
Theorem 4 provides the following multiplicity result related to the number of common critical points of g and V.
Theorem 5.
Under the assumptions of Theorem 4, there exists an ε 0 > 0 such that for ε ( 0 , ε 0 ] , problem ( P ε ) admits at least 2 m 1 solutions, where m denotes the number of common critical points of g and V.
The constructions of interior multipeaked solutions we presented in Theorems 2 and 4 can be combined to yield solutions that concentrate at interior points, which divide into two blocks: one consisting of common critical points of g and V, and the other consisting of critical points of g that are not critical points of V. This leads to the following result.
Theorem 6.
Let n 5 and let y 1 , , y l , z l , , z m be l + m critical points of g such that, near each points y i for 1 i l , g takes the form Equation (2) in the sense of C 3 with γ i > 3 . Assume that V ( y i ) 0 for 1 i l and that Equation (3) holds. Assume further that z 1 , , z m are non-degenerate critical points V, and that near each point z i for 1 i m , g takes the form Equation (8). Then, for any N 1 l and N 2 m , there exists a small ε 0 > 0 such that for every ε ( 0 , ε 0 ] , the problem ( P ε ) admits a solution u ε satisfying the following:
| | u ε j = 1 N 1 φ a 1 , j , ε , λ 1 , j , ε j = 1 N 2 φ a 2 , j , ε , λ 2 , j , ε | | H 1 ( Ω ) 0 , a s ε 0 .
with the values λ 1 , j , ε ’s and λ 2 , j , ε ’s, which are of order ε 1 / 2 and the points a 1 , j , ε y i j , a 2 , j , ε z i j as ε 0 for all j. In addition, for all j, ε 1 / ( γ i j 2 ) | a 2 , j , ε z i j | 0 , and ε 1 / ( γ i j 1 ) ( a 1 , j , ε y i j ) converges to a solution of the equation
h ( ξ j ) = g ( y i j ) c ¯ 5 c 3 D n E n V ( y i j ) V ( y i j ) ,
where c 3 , c ¯ 5 , D n , and E n are the constants defined in Theorem 2.
Note that, up to this point, all of our existence theorems have dealt with interior blowing-up solutions featuring isolated bubbles. The goal of the next results is to construct interior bubbling solutions u ε with clustered bubbles. As mentioned, this is the key difference between the case studied in [31], where the critical points of g are non-degenerate, and our case, where the critical points are degenerate. In [31], the authors demonstrated that there are no interior blowing-up solutions with clustered bubbles. In contrast, we will prove here that such solutions do exist.
To achieve this, we introduce the following notation. For N N and y, a common critical point of both g and V, we define the function
F N , y ( z 1 , , z N ) = j = 1 N D 2 V ( y ) ( z j , z j ) k r 1 | z k z r | n 2 ,
where ( z 1 , , z N ) ( R n ) N such that z i z j if i j .
Our result is stated as follows.
Theorem 7.
Let n 5 and let y be a common critical point of g and V. We assume that y is non-degenerate for V and that g satisfies Equation (8) with γ > 4 + 8 / ( n 4 ) . Let N N * with N 2 and assume that the function F N , y has a non-degenerate critical point ( z ¯ 1 , , z ¯ N ) . Then, for any integer N 2 , there exists a small ε 0 > 0 such that for every ε ( 0 , ε 0 ] , the problem ( P ε ) admits a solution u ε satisfying the following
| | u ε i = 1 N φ a i , ε , λ i , ε | | H 1 ( Ω ) 0 , a s ε 0
with the values λ 1 , ε , …, λ N , ε which are of the order ε 1 / 2 , and the concentration points a i , ε s satisfy
| a i , ε y + σ ε n 4 2 n z ¯ i | ε n 4 2 n η 0 i ,
where η 0 is a small positive real, and σ is the constant defined in Equation (142).
Moreover, if for each N, F N , y has a non-degenerate critical point, then the problem ( P ε ) admits an arbitrary number of non-constant distinct solutions provided that ε is sufficiently small.
Theorem 8.
Let n 5 , 2 m N , N 1 , , N m N and let y 1 , , y m satisfy the assumptions stated in Theorem 7. For k m , if N k 2 , we assume that the function F N k , y k has a non-degenerate critical point ( z ¯ k , 1 , , z ¯ k , N k ) . Then, there exists a small ε 0 > 0 such that for every ε ( 0 , ε 0 ] , the problem ( P ε ) admits a solution u ε , satisfying the following
| | u ε i = 1 N 1 φ a 1 , i , ε , λ 1 , i , ε i = 1 N m φ a m , i , ε , λ m , i , ε | | H 1 ( Ω ) 0 , a s ε 0
with the values λ 1 , i , ε s , , λ m , i , ε s which are of the order ε 1 / 2 , and for each k m , the concentration points a k , i , ε s satisfy Equation (10) when N k 2 , and the following property when N k = 1 :
ε 1 / ( γ i k 2 ) | a k , i , ε y i k | 0 a s ε 0 .
To prove our results, we perform a refined asymptotic expansion of the gradient of the associated functional and subsequently test the equation using vector fields. This allows us to derive relationships between the concentration parameters. By carefully analyzing these relationships, we obtain our results. Furthermore, no assumption regarding the symmetry of the domain is required. Note that traditional blow-up analysis methods typically depend on detailed pointwise C 0 -estimates and the frequent utilization of Pohozaev identities. In contrast, the approach outlined in this paper deviates from these conventional techniques. We argue that our method, which bypasses the need for pointwise estimates and Pohozaev identities, holds significant promise for addressing non-compact variational problems that involve more intricate blow-up behaviors. Indeed, the occurrence of non-simple blow-up points adds complexity to the derivation of pointwise C 0 -estimates, rendering this process particularly challenging.
The remainder of this paper is organized as follows: In Section 2, we provide precise estimates for the infinite-dimensional part of u ε . Section 3 is dedicated to the expansion of the gradient of the functional associated with problem ( P ε ) . In Section 4, we study the asymptotic behavior of solutions to ( P ε ) that blow up at a single interior point as ε 0 , leading to the proof of Theorem 1. Section 5 focuses on the construction of interior blowing-up solutions with isolated bubbles, which are used to prove Theorems 2, 3, 4, 5, and 6. In Section 6, we construct interior blowing-up solutions with clustered bubbles, thereby proving Theorems 7 and 8. Section 7 explores possible avenues for future research. Finally, in Appendix A, we collect several estimates used throughout the paper.

2. The Infinite-Dimensional Part

The objective of this section is to estimate the infinite-dimensional component of the solutions u ε to the problem ( P ε ) . It is important to note that every solution u ε of ( P ε ) satisfies the condition u ε C with C as a positive constant independent of ε . Consequently, the concentration compactness principle (see [32,33]) implies that if u ε is an energy-bounded solution of ( P ε ) that weakly converges to zero, then u ε must blow up at finite number k of points within Ω ¯ . More specifically, u ε can be expressed as
u ε = i = 1 k g ( a i , ε ) ( 2 n ) / 4 δ a i , ε , λ i , ε + v ε where
v ε H 1 0 , λ i , ε , a i , ε a ¯ i Ω ¯ i as ε 0 ,
ε i j : = λ i , ε λ j , ε + λ j , ε λ i , ε + λ i , ε λ j , ε a i , ε a j , ε 2 2 n 2 0 as ε 0 i j .
In this paper, we focus on examining the qualitative characteristics and the existence of interior blowing up solutions for problem ( P ε ) . Specifically, we investigate the scenario where
d ( a i , ε , Ω ) d 0 > 0 i { 1 , , N } .
Following the proof of Proposition 7 of [34] and Proposition 2.1 of [25], we see that, for k N and ( u ε ) to be a family of functions having the formof Equation (11) and satisfying the properties Equations (12)–(14), there is a unique way to choose λ i , ε ,   a i , ε and v ε such that
u ε = i = 1 k α i , ε φ a i , ε λ i , ε + v ε
with ( a ε , λ ε ) : = ( ( a 1 , ε , , a k , ε ) , ( λ 1 , ε , , λ k , ε ) ) Ω k × ( 0 , ) k and
| α i , ε 4 n 2 g a i , ε 1 | 0 as ε 0 i { 1 , , k } , a i , ε a ¯ i Ω , λ i , ε as ε 0 i { 1 , , k } , ε i j 0 as ε 0 i j , v ε 0 , v ε E a ε λ ε ,
where E a ε , λ ε is defined by
E a ε , λ ε = { v H 1 ( Ω ) : ( v , φ a i , ε , λ i , ε ) = ( v , φ a i , ε , λ i , ε λ i , ε ) = ( v , φ a i , ε , λ i , ε ( a i , ε ) j ) = 0 i k , j n } .
Here and in the sequel, H 1 ( Ω ) is equipped with the norm . and the corresponding inner product given by
u 2 = Ω u 2 + V ( x ) u 2 d x , ( u , v ) = Ω u v + V ( x ) u v d x .
Throughout the sequel, we write α i ,   λ i ,   a i ,   φ i and E a , λ instead of α i , ε ,   λ i , ε ,   a i , ε ,   φ a i , ε , λ i , ε and E a ε λ ε , respectively, and we assume that u ε in written as in Equation (15) with the properties listed in Equation (16).
To study interior bubbling solutions, we introduce the following sets:
O k , ν 0 = { ( α , λ , a , v ) R + k × R + k × Ω k × H 1 ( Ω ) : | α i 4 / n 2 g ( a i ) 1 | < ν 0 , λ i > ν 0 1 , ε ln λ i < ν 0 , d ( a i , Ω ) c > 0 , ε i j < ν 0 , v E a , λ , v < ν 0 } ,
β k , ν 0 = ( α , λ , a ) R + k × R + k × Ω k : α , λ , a , 0 O k , ν 0 ,
where ν 0 is a positive small real.
Problem ( P ε ) has a variational structure. Solutions of ( P ε ) are the positive critical points of the functional I ε defined on H 1 ( Ω ) by:
I ε ( u ) = 1 2 Ω | u | 2 + V ( x ) u 2 1 p + 1 ε Ω g ( x ) | u | p + 1 ε .
Now, for α , λ , a β ( k ,   ν 0 ) , we denote by φ : = i = 1 k α i φ i . Letting v E a , λ with v < ν 0 , we see that
I ε i = 1 k α i φ i + v = 1 2 Ω | i = 1 k α i φ i | 2 + 1 2 Ω | v | 2 + 1 2 Ω V ( x ) i = 1 k α i φ i 2 + 1 2 Ω V ( x ) v 2 1 p + 1 ε Ω g ( x ) | i = 1 k α i φ i + v | p + 1 ε .
But we have
Ω g ( x ) | i = 1 k α i φ i + v | p + 1 ε = Ω g ( x ) | i = 1 k α i φ i | p + 1 ε + ( p ε ) Ω g ( x ) | i = 1 k α i φ i | p 1 ε i = 1 k α i φ i v + ( p + 1 ε ) ( p ε ) 2 Ω g ( x ) | i = 1 k α i φ i | p 1 ε v 2 + O Ω v p + 1 e + if n 5 O Ω | i = 1 k α i φ i | p 2 ε v 3 .
This implies that
I ε i = 1 k α i φ i + v = I ε i = 1 k α i φ i L ε , v + 1 2 Q ε v + R ε ( v ) ,
where
L ε , v = Ω g ( x ) | i = 1 k α i φ i | p 1 ε i = 1 k α i φ i v ,
Q ε v = Ω v 2 + Ω V ( x ) v 2 ( p ε ) Ω g ( x ) | i = 1 k α i φ i | p 1 ε v 2
and R ε satisfies R ε ( v ) = O v min ( 3 , p + 1 ε ) , and
R ε ( v ) = O v min ( 2 , p ε ) , R ε ( v ) = O v min ( 1 , p 1 ε ) .
To proceed further, we need to prove the uniform coercivity of the quadratic form Q ε .
Proposition 1.
Let n 3 and ( α , λ , a ) β ( k , ν 0 ) with ν 0 small. Then, there exist ε 0 > 0 and C > 0 such that for ε 0 , ε 0 , the following holds:
Q ε ( v ) C v 2 v E a ε , λ ε .
Proof. 
On one hand, since ε ln λ i is small and Ω is bounded, Taylor’s expansion implies that
δ i ε = c 0 ε λ i ε ( n 2 ) / 2 1 + O ε ln 1 + λ i 2 x a i 2 = 1 + o ( 1 ) .
On the other hand, let v E a ε , λ ε , we have
ε Ω g u ¯ p 1 ε v 2 c ε i = 1 N Ω δ i p 1 ε v 2 c ε v 2 ,
Ω g u ¯ p 1 ε v 2 = i = 1 N Ω g ( α i δ i ) p 1 ε v 2 + j i O Ω δ i δ j ( p 1 ) / 2 v 2 if n 4 , j i O Ω δ i 3 δ j v 2 if n = 3 .
But, using Holder’s inequality and estimate E 2 of [35], we obtain
Ω ( δ i δ j ) ( p 1 ) / 2 v 2 c ε i j n / ( n 2 ) ln ε i j 1 2 / n v 2 = c ε i j 2 / ( n 2 ) ( ln ε i j 1 ) 2 / n v 2 = o ( v 2 ) .
Thus, combining Equations (26)–(29), we deduce that
Q ε ( v ) = Ω | v | 2 + Ω V v 2 p i = 1 N α i p 1 Ω g δ i p 1 v 2 + o ( v 2 ) .
Observe that
α i p 1 Ω g δ i p 1 v 2 = α i p 1 g ( a i ) Ω δ i p 1 v 2 + O Ω | g ( x ) g ( a i ) | δ i p 1 v 2
and
Ω | g ( x ) g ( a i ) | δ i p 1 v 2 c Ω | x a i | δ i p 1 v 2 = o ( v 2 ) .
Using the fact that α i p 1 g ( a i ) = 1 + o ( 1 ) , we obtain
Q ε v = Ω v 2 + Ω V v 2 p i = 1 k Ω δ i p 1 v 2 + o v 2 .
However, as shown in the proof of Proposition 1 in [30], there exists a positive constant c such that
Ω v 2 + Ω V v 2 p i = 1 N Ω δ i p 1 v 2 c v 2 .
This leads to the desired conclusion, thus completing the proof of the proposition. □
Next, we are going to estimate the infinite dimensional part v ε . Namely, we prove
Proposition 2.
Let n 4 and ( α , λ , a ) β ( k , ν 0 ) . Then, for ν 0 positive small, there exists a unique v ¯ ε E a , λ which minimizes I ε i = 1 k α i φ a i λ i + v with respect to v E a , λ and v small. In particular, we obtain
I ε i = 1 k α i φ a i λ i + v ¯ ε , h = 0 h E a , λ .
Moreover, the following estimate holds:
v ¯ ε c T ε , a , λ , w h e r e
T ε , a , λ = ε + i = 1 k | g ( a i ) | λ i
+ j i ε i j + i = 1 k ln λ i λ i 2 i f   n = 4 , j i ε i j + i = 1 k 1 λ i 2 i f   n = 5 , j i ε i j ( n + 2 ) / ( 2 ( n 2 ) ) ( ln ε i j 1 ) ( n + 2 ) / ( 2 n ) + i = 1 k 1 λ i 2 i f   n 6 .
Proof. 
Using the implicit function theorem, estimate Equation (25), and Proposition 1, we see that there exists v ¯ ε E a , λ satisfying v ¯ ε   =   O L ε , where L ε is defined by Equation (23). Next, we are going to estimate L ε . Taking v E a , λ , we have
L ε ( v ) = Ω g ( x ) | φ ( x ) | p 1 ε φ ( x ) v = i = 1 k Ω g ( x ) α i p ε | φ i ( x ) | p 1 ε φ i v + ( i f n 6 ) O i j Ω | φ i φ j | p ε 2 | v | + ( i f n 5 ) O i j Ω | φ i | p 1 ε | φ j | | v | .
Using estimate E2 of [35], Proposition A1 and the fact that
δ i ε = c 0 ε λ i ε ( n 2 ) / 2 1 + O ε ln 1 + λ i 2 | x a i | 2 = 1 + o 1 ,
we obtain, for n 6 ,
Ω | φ i φ j | p ε 2 | v | c Ω δ i δ j p ε 2 | v | c v ε i j n + 2 2 n 2 ( ln ε i j 1 ) n + 2 2 n
and, for n 5 , using Lemma 6.6 of [29], we obtain
Ω | φ i | p 1 ε | φ j | | v | c Ω δ i p 1 δ j | v | c v Ω δ i 8 n n 2 4 δ j 2 n n + 2 n + 2 2 n c v ε i j .
For the other term in Equation (35), using Equation (36) and Proposition A1, we obtain
Ω g ( x ) | φ i | p 1 ε φ i v = Ω g ( x ) | δ i ψ i | p 1 ε δ i ψ i v = Ω g ( x ) δ i p ε v + O Ω δ i p 1 | ψ i | | v | = Ω g ( x ) δ i p ε v + O ln λ i λ i 2 Ω δ i 3 | v | + Ω | x a i | 2 | ln | x a i | | δ i 3 | v | if n = 4 , O 1 λ i 2 Ω δ i p | v | + Ω | x a i | 2 δ i p | v | if n 5 ,
where
ψ a , λ = δ a , λ φ a , λ .
Notice that, for n 5 , we have
1 λ i 2 Ω δ i p | v | c λ i 2 v and Ω | x a i | 2 δ i p | v | c v Ω | x a i | 4 n n + 2 δ i 2 n n 2 n + 2 2 n .
But we have
Ω | x a i | 4 n n + 2 δ i 2 n n 2 c λ i 4 n / ( n + 2 ) R n | x | 4 n n + 2 ( 1 + | x | 2 ) n c λ i 4 n / ( n + 2 ) .
Thus
Ω | x a i | 2 δ i p | v | c λ i 2 v .
For n = 4 , we have Ω δ i 3 | v | c v , and
Ω | x a i | 2 | ln | x a i | | δ i 3 | v | v ( Ω | x a i | 8 3 | ln | x a i | | 4 3 δ i 4 ) 3 4 .
But we have
Ω | x a i | 8 / 3 | ln | x a i | | 4 / 3 δ i 4 c λ i 8 / 3 R 4 | x | 8 / 3 | ln | x | λ i | 4 / 3 ( 1 + | x | 2 ) 4 d x c ( ln λ i ) 4 / 3 λ i 8 / 3 .
Combining Equations (39), (41)–(43), we obtain
Ω g ( x ) | φ i ( x ) | p 1 ε φ i ( x ) v ( x ) = Ω g δ i p ε v + O ln λ i λ i 2 v if n = 4 , O 1 λ i 2 v if n 5 .
Now, we deal with the first term on the right-hand side of Equation (44). Using Equation (36), we obtain
Ω g ( x ) δ i p ε v = c 0 ε λ ε ε ( n 2 ) 2 Ω g δ i p v + O ( ε Ω δ i p | v | ln ( 1 + λ i 2 | x a i | 2 ) = c 0 ε λ ε ε ( n 2 ) 2 g ( a i ) Ω δ i p v + O | g ( a i ) | Ω | x a i | δ i p | v | + O ( Ω | x a i | 2 δ i p | v | + ε v ) .
Notice that
Ω | x a i | δ i p | v | = O v λ i and Ω | x a i | 2 δ i | v | = O v λ i 2 .
We also note that
Ω δ i p v = Ω ( Δ + V ( x ) ) φ i v = Ω ( φ i v + V φ i v ) = ( φ i , v ) = 0 .
Combining Equations (45) and (47), we obtain
Ω g δ i p ε v = O v | g ( a i ) | λ i + ε .
Now, using Equations (35), (37)–(39), (42), (44) and (48), we easily derive the desired estimate. □

3. Expansion of the Gradient in a Neighborhood of Bubbles

In this section, our aim is to give the expansion of the gradient of the functional I ε defined by Equation (20) in a neighborhood of bubbles. Observe that, for u , h H 1 ( Ω ) , we have
I ε ( u ) , h = Ω u · h + Ω V ( x ) u h Ω g | u | p 1 ε u h .
In Equation (49), we will take u = i = 1 k α i φ i + v ε : = φ + v ε and h = h i { φ i ,   λ i φ i / λ i , λ i 1 φ i / a i } with 1 i k . We are going to estimate each integral in Equation (49). We begin by some integrals involving v ε .
Lemma 1.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) and u : = α i φ i + v : = φ + v . Then, for h i { φ i , λ i φ i / λ i , λ i 1 φ i / a i } with 1 i k , we have
Ω 1 v 2 | φ | p 2 ε | h i | , Ω 2 | v | p ε | h i | c v 2 i f n 5 c A ε ( v ) i f n 6 ,
where Ω 1 : = { x Ω : | v | | φ | } , Ω 2 : = Ω Ω 1 and
A ε ( v ) : = v p ε λ i n 2 2 + v 2 + v p ε j i ε i j 1 2 ln ε i j 1 n 2 2 n v 2 + 1 λ i 4 + j i ε i j n / ( n 2 ) .
Proof. 
Let us start with the case where n 5 . In this case, note that if n 5 , we have p > 2 and therefore, using Proposition A1 and estimate Equation (36), we obtain
Ω 1 v 2 | φ | p 2 ε | h i | c j = 1 k Ω 1 v 2 δ j p 2 δ i c v 2
We also have for n 5
Ω 2 | v | p ε | h i | Ω 2 | v | p ε δ i c v p ε c v 2 .
Next, we consider the case where n 6 . Notice that Proposition A1 implies the existence of a small positive real η such that
| ψ a , λ | 1 2 δ a , λ and φ a , λ 1 2 δ a , λ in B ( a , η ) .
Letting B i = B ( a i , η ) , we see that
Ω 1 B i v 2 | φ | p 2 ε | h i | Ω 1 B i | v | p ε | h i | c Ω B i | v | p ε δ i c v p ε λ i ( n 2 ) / 2 ,
Ω 2 B i | v | p ε | h i | c Ω B i | v | p ε δ i c v p ε λ i ( n 2 ) / 2 .
It remains to estimate the integral in B i . Let
Ω 3 = { x Ω : | α i φ i | 2 | φ | } .
Notice that, on one hand, we have
| α i φ i ( x ) | 2 | φ ( x ) | and | φ ( x ) | | α i φ i ( x ) | | j i α j φ j ( x ) | x Ω 3 .
This implies that
| α i φ i ( x ) | 2 | j i α j φ j ( x ) | x Ω Ω 3 .
On the other hand, we have
| h i ( x ) | c δ i ( x ) c φ i ( x ) c | φ ( x ) | x Ω 3 B i .
Thus, we have
Ω 1 B i Ω 3 v 2 | φ | p 2 ε | h i | c Ω v 2 | h i | p 1 ε c v 2 ,
Ω 2 B i Ω 3 | v | p ε | h i | Ω | v | p + 1 ε c v p + 1 ε c v 2 ,
( Ω 1 B i ) Ω 3 v 2 | φ | p 2 ε | h i | c ( Ω 1 B i ) Ω 3 | v | p ε | h i | c ( Ω 1 B i ) Ω 3 | v | p ε δ i φ i c j i Ω | v | p ε δ i δ j c v p ε j i ε i j n n 2 ln ε i j 1 n 2 2 n ,
( Ω 2 B i ) Ω 3 | v | p ε | h i | c ( Ω B i ) Ω 3 | v | p ε δ i φ i c v p ε j i ε i j 1 2 ln ε i j 1 n 2 2 n ,
where we use Equations (52) and (55) and Proposition A1.
Combining Equations (50), (51), (53), (54), (56)–(59), we derive our lemma. □
Next, we estimate the nonlinear term in Equation (49).
Proposition 3.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) and u ε : = α i φ i + v : = φ + v . Then, for h i { φ i , λ i φ i / λ i , λ i 1 φ i / a i } with 1 i k , we have
Ω g | u ε | p 1 ε u ε h i = j = 1 k Ω g | α j φ j | p 1 ε α j φ j h i + ( p ε ) j i Ω g | α i φ i | p 1 ε ( α j φ j ) h i + ( p ε ) Ω g | α i φ i | p 1 ε v h i + O ( R 2 ( i ) ) ,
where
R 2 ( i ) : = v 2 + 1 λ i 4 + j ε j n n 2 ( ln ε j 1 ) + j = 1 k T 1 2 ( λ j ) λ i n 2 + j i T 2 2 ( ε i j ) .
Here, T 1 and T 2 are defined by
T 1 ( t ) : = t ( 2 n ) / 2 )   i f   n 5 ; t 2 ln t   i f   n = 6 ; t 2   i f   n 7 , T 2 ( t ) : = t n + 2 2 ( n 2 ) ( ln t 1 ) n + 2 2 n i f   n 6 ; t i f   n 5 .
Proof. 
Observe that, for any t , s R and γ > 0 , we have
| s + t | γ ( s + t ) = | s | γ s + ( γ + 1 ) | s | γ t + O ( | s | γ 1 t 2 ) if   | t | | s | , O ( | t | γ + 1 ) if   | s | | t | .
Thus, writing u ε = φ + v , we obtain
Ω g | u ε | p 1 ε u ε h i = Ω g | φ | p 1 ε φ h i + ( p ε ) Ω g | φ | p 1 ε v h i + O | v | | φ | | φ | p 2 ε v 2 | h i | + | φ | | v | | v | p ε | h i | .
We remark that the two last integrals are estimated in Lemma 1. To study the second integral on the right hand side of Equation (61), let B i = B ( a i , η ) with the properties Equation (52). It is easy to deduce that
Ω B i g | φ | p 1 ε | v | | h i | c λ i ( n 2 ) / 2 j Ω | v | δ j p 1 c v λ i ( n 2 ) / 2 j Ω δ j 8 n n 2 4 ( n + 2 ) / 2 n ,
and, by easy computations,
Ω δ j 8 n n 2 4 ( n + 2 ) / 2 n c T 1 ( λ j ) .
To estimate the integral over Ω B i , we notice that, for t j R with j { 1 , , k } and | ζ i | c | t i | , we have
| | j i t j | γ ζ i | t i | γ ζ i | c j i ( t i t j ) γ + 1 2 if γ 1 , j i ( t i γ t j + t i t j γ ) if γ > 1 .
Thus, using Proposition A1, estimate E 2 of [35] and estimate Equation (36), we have
Ω B i g | φ | p 1 ε v h i = B i g | α i φ i | p 1 ε v h i + ( i f n 6 ) O j i Ω | v | ( δ i δ j ) p 2 + ( i f n 5 ) O j i Ω | v | ( δ i p 1 δ j + δ i δ j p 1 ) = Ω g | α i φ i | p 1 ε v h i Ω B i g | α i φ i | p 1 ε v h i + j i O ( v T 2 ( ε i j ) ) .
Furthermore, we have
| Ω B i g | α i φ i | p 1 ε v h i | c B i | v | δ i p c v λ i ( n + 2 ) / 2 .
This completes the estimate of the second integral of the right hand side of Equation (61) and we obtain
Ω g | φ | p 1 ε v h i = α i p 1 ε Ω g | φ i | p 1 ε v h i + O v 1 λ i ( n + 2 ) / 2 + j T 1 ( λ j ) λ i ( n 2 ) / 2 + j i T 2 ( ε i j ) .
To deal with the first integral, we note that, for a , b R , it holds
| | a + b | p 1 ε ( a + b ) | a | p 1 ε a ( p ε ) | a | p 1 ε b | b | p 1 ε b | c | a | 2 n 2 ε | b | n n 2 .
Thus using estimate E 2 of [35] and Proposition A1, we obtain
Ω g | φ | p 1 ε φ h i = Ω g | α i φ i | p 1 ε ( α i φ i ) h i + ( p ε ) Ω g | α i φ i | p 1 ε j i α j φ j h i + Ω g | j i α j φ j | p 1 ε j i α j φ j h i + O j i ε i j n n 2 ln ε i j 1 .
Using the fact that
| | j t j | γ 1 ( t j ) j | t j | γ 1 t j | c k j | t k | γ 1 | t j | γ > 0
and Proposition A1, we obtain
Ω g | j i α j φ j | p 1 ε ( j i α j φ j ) h i = j i Ω g | α j φ j | p 1 ε α j φ j h i + O ( k j k , j i Ω δ j p 1 δ k δ i ) .
Now, using estimate E 2 of [35], we have
k j k , j i Ω δ j p 1 δ k δ j k j Ω ( δ j δ k ) n n 2 c k j ε k j n n 2 ln ε k j 1 .
Combining Lemma 1 and estimate Equations (61)–(68), we easily derive our result. □
Next, we deal with the first integral on the right-hand side of Equation (60). More precisely, we prove
Lemma 2.
Let n 4 , ( α , λ , a ) β ( k , ν 0 ) with ν 0 positive small. Then, for i , j { 1 , , k } with j i and h i { φ i , λ i φ i / λ i , λ i 1 φ i / a i } , we have
Ω g | φ j | p 1 ε φ j h i = c 0 ε λ j ε ( n 2 ) / 2 g ( a j ) Ω δ j p h i + O | g ( a j ) | λ j ε i j + ε ε i j + ln 1 + σ n / 2 λ j λ j 2 ε i j ( ln ε i j 1 ) n 2 n ,
where σ n = 0 for n 5 and σ 4 = 1 .
Proof. 
Using Proposition A1 and estimate Equation (36), we have
Ω g | φ j | p 1 ε φ j h i = Ω g δ j p ε h i + O Ω δ j p 1 | ψ j | δ i .
But, using estimate E 2 of [35], Lemma 2.2 of [36] and Proposition A1, we obtain for n 5
Ω δ j p 1 | ψ j | δ i c λ j 2 Ω δ j p δ i + c Ω | x a j | 2 δ j p δ i c ε i j λ j 2 + c Ω ( δ i δ j ) n n 2 n 2 n | x a j | n δ j 2 n n 2 2 n c ln λ j λ j 2 ε i j ( ln ε i j 1 ) n 2 n
and for n = 4
Ω δ j p 1 | ψ j | δ i c ln λ j λ j 2 Ω δ j 3 δ i + c Ω | x a | 2 | ln | x a | | δ j 3 δ i c ln λ j λ j 2 ε i j + c Ω ( δ i δ j ) 2 1 2 Ω | x a j | 4 ln 2 | x a j | δ j 4 1 2 C ln 3 2 λ j λ j 2 ε i j ( ln ε i j 1 ) 1 2 .
For the first term on the right-hand side of Equation (69), using estimate Equation (36) and Proposition A1, we write
Ω g δ j p ε h i = c 0 ε λ j ε ( n 2 ) / 2 Ω g δ j p h i + O ε Ω δ j p ln ( 1 + λ j 2 | x a j | 2 ) δ i .
Note that, using Lemma 2.2 of [36], we have
Ω δ j p ln ( 1 + λ j 2 | x a j | 2 ) δ i = Ω δ i δ j n n 2 δ j 2 n 2 ln ( 1 + λ j 2 | x a j | 2 ) Ω δ i 2 n 2 n 2 δ j n n 2 . 2 n 2 n 2 2 n 2 2 n Ω δ j 2 n n 2 ln n ( 1 + λ j 2 | x a j | 2 1 n c ε i j .
We also note that
Ω g δ j p h i = g ( a i ) Ω δ j p h i + O | g ( a i ) | Ω | x a j | δ j p δ i + O Ω | x a j | 2 δ j p δ i .
But, using Lemma 2.2 of [36] and estimate E 2 of [35], we have
Ω | x a j | δ j p δ i = Ω | x a j | δ j 3 n 2 δ j n 1 n 2 δ i Ω δ j ( n 1 ) n 2 2 n n 3 δ i 2 n n 3 2 n 3 2 n Ω | x a j | 2 n 3 δ j 2 n n 2 3 2 n c ε i j 1 λ j
Ω | x a j | 2 δ j p δ i = Ω | x a j | 2 δ j 4 n 2 ( δ j δ i ) Ω ( δ j δ i ) n n 2 n 2 n Ω | x a j | n δ j 2 n n 2 2 n c ln λ j λ j 2 ε i j ln n 2 n ε i j 1 .
Thus
Ω g δ j p h i = g ( a i ) Ω δ j p h i + O | g ( a j ) | λ j ε i j + ln λ j λ j 2 ε i j ln n 2 n ε i j 1 .
Combining Equations (69)–(76), we easily obtain the lemma. □
Next, we are going to deal with the linear term in the expansion Equation (60) with respect to v E a , λ . More precisely, we have the following.
Lemma 3.
Let n 4 and ( α , λ , a , v ) O ( k , ν 0 ) . Then, for h i { φ i , λ i φ i λ i λ i 1 φ i a i } with 1 i k , we have
| Ω g | φ i | p 1 ε v h i | c v ε + | g ( a i ) | λ i + ln σ n λ i λ i 2 ,
where σ 4 = 1 and σ n = 0 for n 5 .
Proof. 
First, combining Equations (44) and (48), we obtain the desired result for h i = φ i . Second, following the proof of Equations (44) and (48), we obtain the desired result for h i = λ i φ i λ i and h i = 1 λ i φ i a i . This completes the proof of the lemma. □
The aim of the following three propositions is to specify the statement of Proposition 3.
Proposition 4.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , the following statement holds
Ω g | u ε | p 1 ε u ε φ i = g ( a i ) α i p ε λ i ε ( n 2 ) / 2 S n + O ( R 3 ( i ) ) ,
where
S n = c 0 p + 1 R n d x ( 1 + | x | 2 ) n , R 3 ( i ) = ε + v ε 2 + ln σ n λ i λ i 2 + j i ε i j ,
with σ 4 = 1 and σ n = 0 for n 5 .
Proof. 
Combining Equation (61), Lemma 1 and Equation (65), we derive that
Ω g | u ε | p 1 ε u ε φ i = Ω g | φ | p 1 ε φ φ i + O v 2 + ε 2 + 1 λ i 2 + ε i j n / ( n 2 ) .
Furthermore, using Lemma A1 and the fact that
| s + t | γ ( s + t ) = | s | γ s + O ( | s | γ | t | + | s | | t | γ ) s , t R   and   γ > 0 ,
we obtain
Ω g | φ | p 1 ε φ φ i = α i p ε Ω g | φ i | p + 1 ε + O Ω δ i p δ j + Ω δ i δ j p .
Note that, by Estimate E 1 of [35], we have
Ω δ j p δ i = O ( ε i j ) .
In addition, using again Proposition A1 and estimate Equation (36), for r > 0 small, by oddness, we obtain
Ω g | φ i | p + 1 ε = Ω g δ i p + 1 ε + O ( δ i p | ψ i | ) = g ( a i ) B ( a i , r ) δ i p + 1 ε + O B ( a i , r ) | x a i | 2 δ i p + 1 + ln σ n λ i λ i 2 + Ω B ( a i , r ) δ i p + 1 = g ( a i ) c 0 ε λ i ε ( n 2 ) / 2 B ( a i , r ) δ i p + 1 + O ε B ( a i , r ) δ i p + 1 ln ( 1 + λ i 2 | x a i | 2 + ln σ n λ i λ i 2 = g ( a i ) c 0 ε λ i ε ( n 2 ) / 2 S n + O ε + ln σ n λ i λ i 2 .
Combining Equations (78)–(81) and the fact that c 0 ε = 1 + O ( ε ) , we derive the desired result. □
Proposition 5.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , the following statement holds:
Ω g | u ε | p 1 ε u ε λ i φ i λ i = α i p ε λ i ε ( n 2 ) / 2 g ( a i ) c 3 ε + 2 E n ln σ n λ i λ i 2 V ( a i ) + c 1 j i λ i ε i j λ i α j α i p 1 ε g ( a i ) λ i ε ( n 2 ) / 2 + α j p 1 ε g ( a j ) λ j ε ( n 2 ) / 2 + O R 4 ( i ) ,
where σ 4 = 1 , σ n = 0 for n 5 , c 3 and E n are defined in Theorem 1 and
R 4 ( i ) : = v 2 + ε 2 + | g ( a i ) | 2 λ i 2 + | D 2 g ( a i ) | λ i 2 + j ε j n n 2 ln ε j 1 + 1 λ i 3 + j = 1 k 1 ( λ i λ j ) ( n 2 ) / 2 + j i ε i j | g ( a j ) | λ j + | a i a j | 2 | ln | a i a j | | σ n + j i ε i j ln n 2 n ε i j 1 ln 1 + σ n / 2 λ j λ j 2 , c 1 : = c 0 2 n / ( n 2 ) R n 1 ( 1 + | x | 2 ) ( n + 2 ) / 2 d x .
Proof. 
Applying Proposition 3, Lemmas 2 and 3, we obtain
Ω g | u ε | p 1 ε u ε λ i φ i λ i = α i p ε Ω g | φ i | p 1 ε φ i λ i φ i λ i + j i c 0 ε λ j ε ( n 2 ) / 2 α j p ε g ( a j ) ( φ j , λ i φ i λ i ) + j i O | g ( a j ) | λ j ε i j + ε ε i j + ln 1 + σ n / 2 λ j λ j 2 ε i j ln n 2 n ε i j 1 + O ( R 2 ( i ) ) + ( p ε ) j i Ω g | α i φ i | p 1 ε α j φ j λ i φ i λ i + O v ε ε + | g ( a i ) | λ i + ln σ n λ i λ i 2 .
First, we focus on studying the first integral on the right-hand side of Equation (82). We have
Ω g | φ i | p 1 ε φ i λ i φ i λ i = Ω g δ i p ε ( p ε ) δ i p 1 ε ψ i + O δ i p 2 ψ i 2 λ i δ i λ i λ i ψ i λ i = Ω g δ i p ε λ i δ i λ i Ω g δ i p ε λ i ψ i λ i ( p ε ) Ω g δ i p 1 ε ψ i λ i δ i λ i + O Ω δ i p 1 | ψ i | | λ i ψ i λ i | + Ω δ i p 1 ψ i 2 .
But, using Proposition A1, easy computations imply that
Ω δ i p 1 | ψ i | | λ i ψ i λ i | + Ω δ i p 1 ψ i 2 C Ω χ 1 2 δ i p + 1 C ln 3 σ n λ i λ i 4 .
Now, expanding g around a i in B i : = B ( a i , ρ ) with ρ positive small, by oddness, we obtain
Ω g δ i p ε λ i δ i λ i = g ( a i ) B i δ i p ε λ i δ i λ i + O | D 2 g ( a i ) | B i | x a i | 2 δ i p + 1 + B i | x a i | 4 δ i p + 1 + 1 λ i n = g ( a i ) ε c 3 c 0 ε λ i ε ( n 2 ) / 2 + O ε 2 + | D 2 g ( a i ) | λ i 2 + ln σ n λ i λ i 4 ,
where we use estimate ( 91 ) of [30] and Equation (36).
For the other integrals on the right-hand side of Equation (83), using Lemma A1, we write
Ω g δ i p ε λ i ψ i λ i = g ( a i ) Ω δ i p ε λ i ψ i λ i + O Ω | x a i | δ i p + 1 χ 1 ( x ) = c 0 ε g ( a i ) λ i ε ( n 2 ) / 2 φ i , λ i φ i λ i + O ε ln σ n λ i λ i 2 + 1 λ i n + O ln σ n ( λ i ) λ i 3 ,
p Ω g δ i p 1 ε ψ i λ i δ i λ i = p g ( a i ) Ω δ i p ε ψ i λ i δ i λ i + O Ω | x a i | δ i p + 1 χ 1 ( x ) = c 0 ε g ( a i ) λ i ε ( n 2 ) / 2 φ i , λ i φ i λ i + O ε ln σ n λ i λ i 2 + 1 λ i n + O ln σ n ( λ i ) λ i 3 .
Combining Equations (83)–(86) and using Lemma A2, we obtain
Ω g | φ i | p 1 ε φ i λ i φ i λ i = c 0 ε λ i ε n 2 2 g ( a i ) c 3 ε + 2 E n ln σ n λ i λ i 2 V ( a i ) + O ε 2 + | D 2 g ( a i ) | λ i 2 + 1 λ i 3 .
It remains to deal with the last integral on the right-hand side of Equation (82). To this aim, using estimate Equation (36), we have
Ω g | φ i | p 1 ε φ j λ i φ i λ i = Ω g δ i p 1 ε + O δ i p 2 ε | ψ i | φ j λ i δ i λ i λ i ψ i λ i = Ω g δ i p 1 ε λ i δ i λ i φ j + O Ω δ i p 1 | φ j | | λ i ψ i λ i | + Ω δ i p 1 | ψ i | | φ j | .
For the remainder term, using Proposition A1, Equations (70) and (71), we deduce that
Ω δ i p 1 | φ j | | λ i ψ i λ i | + Ω δ i p 1 | ψ i | | φ j | c ( ln λ i ) 1 + σ n / 2 λ i 2 ε i j ( ln ε i j 1 ) ( n 2 ) / n .
For the first integral on the right-hand side of Equation (89), using Proposition A1, we obtain
Ω g δ i p 1 ε λ i δ i λ i φ j = c 0 ε λ i ε ( n 2 ) / 2 Ω g δ i p 1 λ i δ i λ i φ j + O ε Ω δ i p ln ( 1 + ł i 2 | x a i | 2 ) δ j .
Expanding g around a i and following the argument in the proof of Equation (76), we obtain
Ω g δ i p 1 λ i δ i λ i φ j = g ( a i ) Ω δ i p 1 λ i δ i λ i φ j + O | g ( a i ) | λ i ε i j + ln λ i λ i 2 ε i j ( ln ε i j 1 ) ( n 2 ) / n = g ( a i ) 1 p φ j , λ i φ i λ i + O | g ( a i ) | λ i ε i j + ln λ i λ i 2 ε i j ( ln ε i j 1 ) ( n 2 ) / n .
Thus, using Equation (73), Equation (89) becomes
( p ε ) Ω g | φ i | p 1 ε φ j λ i φ i λ i = 1 ε p g ( a i ) c 0 ε λ i ε ( n 2 ) / 2 φ j , λ i φ i λ i + O | g ( a i ) | λ i ε i j + ln λ i λ i 2 ε i j ( ln ε i j 1 ) ( n 2 ) / n .
Thus, combining estimate Equations (82)–(88), (91) and Lemma A4, we obtain the desired result. □
Proposition 6.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , the following statement holds:
Ω g | u ε | p 1 ε u ε 1 λ i φ i a i = α i p ε c 0 ε λ i ε ( n 2 ) / 2 c ¯ 5 g ( a i ) λ i + 2 c 0 ε λ i ε ( n 2 ) / 2 α i p ε g ( a i ) D n ln σ n λ i λ i 3 V ( a i ) + j i c 0 ε c 1 α j 1 λ i ε i j a i λ i ε ( n 2 ) / 2 α i p 1 ε g ( a i ) + λ j ε ( n 2 ) / 2 α j p 1 ε g ( a j ) + O ( R 5 ( i ) ) ,
where
R 5 ( i ) = v 2 + ε 2 + | g ( a i ) | 2 λ i 2 + | D 3 g ( a i ) | λ i 3 + 1 λ i 4 + ( i f n = 4 ) 1 λ i 3 + ( i f n = 5 ) ln λ i λ i 4 + j ε j n / ( n 2 ) ( ln ε j 1 ) + j i λ j | a i a j | ε i j n + 1 n 2 + j i | g ( a j ) | λ j ε i j + j i ln 1 + σ n / 2 λ j λ j 2 ε i j ( ln ε i j 1 ) ( n 2 ) / n + ε i j λ i + 1 λ i ( n 2 ) / 2 λ j ( n + 2 ) / 2
where c 1 is defined in Proposition 5, c ¯ 5 and D n are defined in Theorem 2.
Proof. 
Applying Proposition 3, and Lemmas 2 and 3, we obtain
Ω g | u ε | p 1 ε u ε 1 λ i φ i a i = α i p ε Ω g | φ i | p 1 ε φ i 1 λ i φ i a i + j i α j p ε C 0 ε λ j ε ( n 2 ) 2 g ( a j ) Ω δ j p 1 λ i φ i a i + O ( j i ( | g ( a i ) | λ j ε i j + ε ε i j ) ) + O ( j i ln 1 + σ n / 2 λ j λ j 2 ε i j ln n 2 n ε i j 1 ) + ( p ε ) j i Ω g | α i φ i | p 1 ε α j φ j 1 λ i φ i a i + O ( v ε 2 + ε 2 + | g ( a i ) | 2 λ i 2 + ln 2 σ n λ i λ i 4 ) + R 2 ( i ) .
We start by dealing with the first integral on the right-hand side of Equation (92). Using the fact that
| s t | γ ( s t ) = | s | γ s ( γ + 1 ) | s | γ t + O | s | γ 1 t 2 for   t , s R   with   | t | c | s | ,
we derive that
Ω g | φ i | p 1 ε φ i 1 λ i φ i a i = Ω g δ i p ε ( p ε ) δ i p 1 ε ψ i + O ( δ i p 2 ψ i 2 ) ( 1 λ i δ i a i 1 λ i ψ i a i ) = Ω g δ i p ε 1 λ i δ i a i Ω g δ i p ε 1 λ i ψ i a i ( p ε ) Ω g δ i p 1 ε ψ i 1 λ i δ i a i + O Ω δ i p 1 | ψ i | | 1 λ i ψ i a i | + Ω δ i p 1 ψ i 2 .
Using Proposition A1 and Lemma A6, we see that
Ω g δ i p ε 1 λ i ψ i a i = g ( a i ) Ω δ i p ε 1 λ i ψ i a i + O | g ( a i ) | Ω | x a i | δ i p + 1 χ 2 + Ω | x a i | 2 δ i p + 1 χ 2 = c 0 ε λ i ε ( n 2 ) / 2 g ( a i ) φ i , 1 λ i φ i a i + O ε λ i 2 + | g ( a i ) | λ i 3 + 1 λ i 4 ,
Ω g δ i p 1 ε ψ i 1 λ i δ i a i = g ( a i ) Ω δ i p 1 ε ψ i 1 λ i δ i a i + O | g ( a i ) | Ω | x a i | δ i p + 1 χ 1 + O Ω | x a i | 2 χ 1 δ i p + 1 = 1 p c 0 ε λ i ε ( n 2 ) / 2 g ( a i ) φ i , 1 λ i φ i a i + O ε ln σ n λ i λ i 2 + | g ( a i ) | ln σ n λ i λ i 3 + ln 1 + σ n λ i λ i 4 .
For the first integral on the right-hand side of Equation (93), we write for r positive small and B i : = B ( a i , r ) ,
Ω g δ i p ε 1 λ i δ i a i = B i g δ i p ε 1 λ i δ i a i + O R n B i δ i p 1 λ i | δ i a i | = B i g ( a i ) ( x a i ) δ i p ε 1 λ i δ i a i + O | D 3 g ( a i ) | B i | x a i | 3 δ i p + 1 + O B i | x a i | 4 δ i p + 1 λ i | x a i | + R n B i δ i p + 1 λ i | x a i | = c 0 ε λ i ε ( n 2 ) / 2 c ¯ 5 g ( a i ) λ i + O ε | g ( a i ) | λ i + | D 3 g ( a i ) | λ i 3 + 1 λ i 4 ,
where we use Lemma 6.3 of [29], estimate Equation (36) and the fact that for 1 j n , we have
B i g ( a i ) ( x a i ) δ i p 1 λ i δ i ( a i ) j = l = 1 n g ( a i ) x l B i ( x a i ) l δ i p 1 λ i δ i ( a i ) j = g ( a i ) x j B i ( x a i ) j δ i p 1 λ i δ i ( a i ) j = ( n 2 ) c 0 p + 1 g ( a i ) x j B i λ i n + 1 ( x a i ) j 2 ( 1 + λ i 2 | x a i | 2 ) n + 1 d x = ( n 2 ) n c 0 p + 1 g ( a i ) x j B i λ i n + 1 | x a i | 2 ( 1 + λ i 2 | x a i | 2 ) n + 1 d x = g ( a i ) x j c ¯ 5 λ i + O 1 λ i n + 1 .
Combining Equations (93)–(96) and Lemma A7, we derive that
Ω g | φ i | p 1 ε φ i 1 λ i φ i a i = c 0 ε λ i ε ( n 2 ) / 2 c ¯ 5 g ( a i ) λ i + 2 c 0 ε λ i ε ( n 2 ) / 2 g ( a i ) D n ln σ n λ i λ i 3 V ( a i ) + O ε | g ( a i ) | λ i + | D 3 g ( a i ) | λ i 3 + | g ( a i ) | ln σ n λ i λ i 3 + ε ln σ n λ i λ i 2 + ( i f n = 4 ) O ( 1 λ i 3 ) + ( i f n = 5 ) O ( ln λ i λ i 4 ) + ( i f n 6 ) O ( 1 λ i 4 ) .
Now, we deal with the third integral on the right-hand side of Equation (92). Using estimate Equation (36) and Proposition A1, we write
Ω g | φ i | p 1 ε φ j 1 λ i φ i a i = Ω g δ i p 1 ε + O δ i p 2 | ψ i | φ j 1 λ i δ i a i 1 λ i ψ i a i = Ω g δ i p 1 ε 1 λ i δ i a i φ j + O Ω δ i p 1 | 1 λ i ψ i a i | δ j + Ω δ i p 2 1 λ i | δ i a i | | ψ i | δ j + O Ω δ i p 2 | ψ i | 1 λ i | ψ i a i | δ j .
But, Lemma 2.2 of [36], Proposition A1, and estimate Equation (74) imply that
Ω δ i p 1 | 1 λ i ψ i a i | δ j c λ i 2 Ω δ i p δ j + 1 λ i Ω | x a i | δ i p δ j c λ i 2 ε i j .
Now, for n 5 , using again Lemma 2.2 of [36], Proposition A1 and the fact that 1 λ i | δ i a i | 1 λ i | x a i | δ i , we see that
Ω δ i p 2 1 λ i | δ i a i | | ψ i | δ j c λ i 2 Ω δ i p δ j + c Ω | x a i | 2 δ i p λ i | x a i | δ j c λ i 2 ε i j .
In the same way, for n = 4 , we obtain
Ω δ i p 2 1 λ i | δ i a i | | ψ i | δ j C ln λ i λ i 2 Ω δ i p δ j + c λ i Ω | x a i | | ln | x a i | | δ i p δ j c ln λ i λ i 2 ε i j ,
Ω δ i p 2 | ψ i | 1 λ i | ψ i a i | δ j C Ω δ i p 1 1 λ i | ψ i a i | δ j c λ i 2 ε i j .
For the first integral on the right-hand side of Equation (98), using Equations (36), (74), and (102), we obtain
Ω g δ i p 1 ε 1 λ i δ i a i φ j = c 0 ε λ i ε ( n 2 ) 2 Ω g δ i p 1 1 λ i δ i a i φ j + O ε Ω δ i p ln ( 1 + λ i 2 | x a i | 2 ) δ j = c 0 ε λ i ε ( n 2 ) 2 g ( a i ) Ω g δ i p 1 1 λ i δ i a i φ j + O | g ( a i ) | Ω | x a i | δ i p δ j + O Ω | x a i | 2 δ i p λ i | x a i | δ j + ε ε i j = c 0 ε λ i ε ( n 2 ) 2 g ( a i ) Ω g δ i p 1 1 λ i δ i a i φ j + O | g ( a i ) | ε i j λ i + ε i j λ i 2 + ε ε i j = c 0 ε λ i ε ( n 2 ) 2 g ( a i ) 1 p φ j , 1 λ i φ i a i + O | g ( a i ) | ε i j λ i + ε i j λ i 2 + ε ε i j .
Combining Lemma A4, estimates Equations (92)–(103), we derive our proposition. □
Next, we give the expansion of the gradient of the function I ε defined by Equation (20) in β ( k ,   ν 0 ) with ν 0 being a positive small real. We start by giving the expansion of I ε with respect to the gluing parameter α i ’s.
Proposition 7.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , the following statement holds:
I ε ( u ε ) , φ i = α i S n ( 1 g ( a i ) α i p 1 ε λ i ε ( n 2 ) / 2 ) + O ( R 6 ( i ) ) , w i t h R 6 ( i ) : = v 2 + ε + | g ( a i ) | λ i + j i ε i j + ln σ n λ i λ i 2 + j = 1 k 1 λ j n 2 ,
where S n is defined in Proposition 4.
Proof. 
Applying Equation (49), Lemmas A1 and A4, Proposition 4, and the fact that v E a , λ , we easily obtain the desired result. □
Next, we provide a balancing condition involving the mutual interaction of bubble ε i j and the rate of the concentration λ i .
Proposition 8.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 being positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , it holds that
I ε ( u ) , λ i φ i λ i = α i p ε c 3 λ i ε ( n 2 ) / 2 ε g ( a i ) α i E n V ( a i ) ln σ n λ i λ i 2 1 + 2 α i p 1 ε λ i ε ( n 2 ) / 2 g ( a i ) c 1 j i α j λ i ε i j λ i 1 + α i p 1 ε λ i ε ( n 2 ) / 2 g ( a i ) + α j p 1 ε λ j ε ( n 2 ) / 2 g ( a j ) + O ( R 4 ( i ) ) ,
where R 4 ( i ) and c 1 are defined in Proposition 5, E n and c 3 are defined in Theorem 1, σ 4 = 1 , σ n = 0 for n 5 .
Proof. 
Applying Equation (49), and Lemmas 5, A2, and A4, and the fact that v E a , ł , we easily obtain the proof of the proposition. □
Finally, we give the following balancing condition involving the concentration point a i .
Proposition 9.
Let n 4 , ( α , λ , a , v ) O ( k , ν 0 ) with ν 0 positive small and u ε = i = 1 k α i φ i + v . Then, for 1 i k , the following statement holds:
I ε ( u ) , 1 λ i φ i a i = α i p ε λ i ε ( n 2 ) / 2 c ¯ 5 g ( a i ) λ i + α i D n ln σ n λ i λ i 3 V ( a i ) 1 + 2 α i p 1 ε λ i ε ( n 2 ) / 2 g ( a i ) c 1 j i α j 1 λ i ε i j a i 1 + α i p 1 ε λ i ε ( n 2 ) / 2 g ( a i ) + α j p 1 ε λ j ε ( n 2 ) / 2 g ( a j ) + O ( R 5 ( i ) ) ,
where c ¯ 5 , D n are defined in Proposition 6, c 1 is defined in Proposition 5, and R 5 ( i ) is defined in Proposition 6.
Proof. 
Applying Equation (49), Lemmas A3, A4, Proposition 6, and the fact that v E a , λ , we easily derive the proof of the proposition. □

4. Asymptotic Behavior of Interior Single Peaked Solutions

Our aim in this section is to study the asymptotic behavior of solutions of ( P ε ) which blow up at one interior point as ε goes to zero.
First, we consider a general situation, that is, let ( u ε ) be a family of solutions of ( P ε ) having the form Equation (15) with k 1 , and the properties introduced in Equation (16) are satisfied. We begin by proving the following crucial fact:
Lemma 4.
Let n 4 , then, for all i { 1 , , k } , the following fact holds:
ε ln λ i 0 as ε 0 .
Proof. 
Multiplying ( P ε ) by φ i and integrating over Ω, we obtain
j = 1 k α j ( φ j , φ i ) = Ω g j = 1 k α j φ j + v ε p ε φ i .
First, using Lemmas A1 and A4, we deduce that
j = 1 k α j ( φ j , φ i ) = α i S n + o ( 1 ) .
Next, we are going to estimate the right-hand side of Equation (104). To this aim, using Proposition A1, we write
Ω g j = 1 N α j φ j + v ε p ε φ i = Ω g α i φ i p ε φ i + O j i Ω δ j p ε δ i + δ i p ε δ j + O Ω | v ε | p ε δ i + δ i p ε | v ε | .
But, using Estimate E 2 of [35], we have
Ω δ r p ε δ = Ω ( δ δ r ) δ r p 1 ε Ω ( δ δ r ) n n 2 n 2 n Ω δ r ( p 1 ε ) n 2 2 n c ε r ( ln ε r 1 ) ( n 2 ) / n = o ( 1 ) .
We also have
Ω v ε p ε δ i + δ i p ε v ε c v ε p ε Ω δ i 2 n n 2 n 2 2 n + v ε Ω δ i ( p ε ) 2 n n + 2 n + 2 2 n = o ( 1 ) .
Concerning the first integral on the right-hand side of Equation (105), it holds that
Ω g φ i p + 1 ε = Ω g δ i p + 1 ε + O Ω g δ i p ε | ψ i | = g ( a i ) R n δ i p + 1 ε + O Ω | x a i | δ i p + 1 ε + R n Ω δ i p + 1 ε + Ω δ i p ε | ψ i | .
But, we observe that
R n δ i p + 1 ε = R n c 0 p + 1 c 0 ε λ i ε ( n 2 ) / 2 1 + | x | 2 n ε ( n 2 ) / 2 = λ i ε ( n 2 ) / 2 S n + O ( ε ) , R n Ω λ i n ε ( n 2 ) / 2 1 + λ i 2 x a i 2 n ε ( n 2 ) / 2 c λ i n ε ( n 2 ) / 2 R n B ( a i , r ) d x | x a i | 2 n ε ( n 2 ) = o ( 1 ) .
where r is a fixed positive constant satisfying B ( a i , r ) Ω .
For the other integrals in Equation (108), since Ω is bounded, observe that, for a , x Ω , we have
δ a , λ ε ( x ) = c 0 ε λ ε ( n 2 ) / 2 ( 1 + λ 2 | x a | 2 ) ε ( n 2 ) / 2 c λ ε ( n 2 ) / 2 + c λ ε ( n 2 ) / 2 c λ ε ( n 2 ) / 2 .
Thus, we obtain
Ω | x a i | δ i p + 1 ε c λ ε ( n 2 ) / 2 R n | x a i | δ i p + 1 c λ ε ( n 2 ) / 2 λ i = o ( 1 ) ,
and using Proposition A1, it holds that
Ω δ i p ε | ψ i | c λ i ε n 2 2 ln σ n λ i λ i 2 Ω δ i p + 1 + Ω | x a i | 2 | ln | x a i | | σ n δ i p + 1 c λ i ε n 2 2 ln σ n λ i λ i 2 = o ( 1 ) .
The above estimates imply that
α i p ε Ω g φ i p + 1 ε = α i p ε g a i λ i ε ( n 2 ) / 2 S n + O ( ε ) + o ( 1 ) .
Combining the estimates of Equations (104)–(109) and using the fact that α i p 1 g ( a i ) = 1 + o ( 1 ) , we obtain
S n + o ( 1 ) = λ i ε ( n 2 ) / 2 ( S n + o ( 1 ) )
which implies that λ i ε ( n 2 ) / 2 = 1 + o ( 1 ) . The proof of the lemma is thereby complete. □
Next, we consider ( u ε ) to be a family of solutions of ( P ε ) having the form Equation (11) with k = 1 and satisfying Equations (12)–(14). We know that u ε can be written in the form Equation (15) with k = 1 , that is
u ε = α ε φ a ε λ ε + v ε
with ( a ε , λ ε ) Ω × ( 0 , ) and
| α ε 4 n 2 g a ε 1 | 0 , a ε a ¯ Ω , λ ε , v ε 0   as   ε 0 , v ε E a ε λ ε ,
E a ε , λ ε : = v H 1 ( Ω ) : ( v , φ a ε , λ ε ) = ( v , φ a ε , λ ε λ ε ) = ( v , φ a ε , λ ε ( a ε ) j ) = 0 j n .
Using Lemma 4, we see that ( α ε , λ ε , a ε , v ε ) O ( 1 , ν 0 ) which is defined in Equation (18). Since u ε is a solution of ( P ε ) , we see that Equation (32) is satisfied with v ε . Thus, by the uniqueness, we obtain v ε = v ¯ ε , where v ¯ ε is defined in Proposition 2. Therefore v ε satisfies estimate Equation (33). We start by proving Theorem 1.
Proof of Theorem 1. 
In the case of a single interior blow-up point, that is k = 1 and u ε = α φ a , λ + v ε , the estimate Equation (33) becomes
v ε c ε + | g ( a ) | λ + c λ 2 if n 5 , λ 2 ln λ if n = 4 .
Combining Equation (113) and Propositions 7–9, we obtain
α p 1 ε λ ε ( n 2 ) / 2 g ( a ) = 1 + O ε + | g ( a ) | λ + ln σ n λ λ 2 ,
E n V ( a ) ln σ n λ λ 2 1 + 2 α p 1 ε λ ε ( n 2 ) / 2 g ( a ) + α p 1 ε λ ε ( n 2 ) / 2 g ( a ) c 3 ε = O ε 2 + 1 λ n 2 + 1 λ 3 + | D 2 g ( a ) | λ 2 + | g ( a ) | 2 λ 2 ,
α p 1 ε λ ε ( n 2 ) / 2 c ¯ 5 g ( a ) λ + D n ln σ n λ λ 3 V ( a ) 1 + 2 α p 1 ε λ ε ( n 2 ) / 2 g ( a ) = O ε 2 + 1 λ n 1 + 1 λ 4 + | D 3 g ( a ) | λ 3 + | g ( a ) | 2 λ 2 + ( if n = 5 ) O ln λ λ 4 .
Putting Equation (114) in Equations (115) and (116), we obtain
E n V ( a ) ln σ n λ λ 2 + c 3 ε = O ε 2 + 1 λ n 2 + 1 λ 3 + | D 2 g ( a ) | λ 2 + | g ( a ) | 2 λ 2 ,
c ¯ 5 g ( a ) g ( a ) λ + D n ln σ n λ λ 3 V ( a ) = O ε 2 + 1 λ n 1 + 1 λ 4 + | D 3 g ( a ) | λ 3 + | g ( a ) | 2 λ 2 + ( i f n = 5 ) O ln λ λ 4 .
Using Equation (117), we obtain
ε c ln σ n λ λ 2 .
Putting Equation (119) in Equation (118), we obtain
g ( a ) λ = O ln σ n λ λ 3
which implies that a converges to a critical point of g.
Now, using the assumption Equation (2) on the critical points on g, we deduce that
| D 2 g ( a ) | λ 2 + | g ( a ) | 2 λ 2 = o 1 λ 2
and therefore, from Equation (117), we derive that
E n V ( a ) ln σ n λ λ 2 = c 3 ε ( 1 + o ( 1 ) ) .
This completes the proof of the first part of Theorem 1.
Concerning the second part, recall that a converges to a critical point y of g and, by assumption, we know that
β 1 | a y | γ 1 | g ( a ) | β 2 | a y | γ 1 ,
where β 1 and β 2 are two positive constants. Thus, combining Equations (120)–(122), we deduce that
ε 1 | a y | γ 1 c .
Furthermore, using Equations (120) and (121), Equation (118) implies that
D n c 3 E n V ( a ) ε ( 1 + o ( 1 ) ) V ( a ) = c ¯ 5 g ( a ) g ( a ) + o ( ε ) .
Observe the following:
  • If ε 1 | a y | γ 1 goes to zero, then Equation (122) implies that | g ( a ) | = o ( ε ) and therefore, using Equation (123), we deduce that | V ( a ) | goes to zero which implies that y is a critical point of V.
  • If ε 1 | a y | γ 1 β , Equation (122) implies that | g ( a ) | c ε , and therefore, using Equation (123), we deduce that | V ( a ) | c > 0 .
This completes the proof of Theorem 1. □

5. Construction of Interior Blowing up Solutions with Isolated Bubbles

In this section, we focus on the construction of interior blowing-up solutions with isolated bubbles, thereby proving Theorems 2–6. We begin with the case where the solutions concentrate around critical points of g that are not critical points of V.

5.1. Around Critical Points of g That Are Not Critical Points of V

This subsection is dedicated to the proof of Theorems 2 and 3. We begin by proving the first theorem. To this aim, let y 1 , , y N be critical points of g such that V ( y i ) 0 and, near each one, the function g satisfies Equation (2) with γ i > 3 . Assume further that, near each one, Equation (3) holds. Let ξ i be a solution of the equation
h ( ξ i ) = g ( y i ) c ¯ 5 c 3 D n E n V ( y i ) V ( y i ) .
We adopt the proof strategy from [37]. To proceed, let us define the following set:
M 1 ( ε ) = { ( α , λ , a , v ) ( R + ) N × ( R + ) N × Ω N × H 1 ( Ω ) : | α i 4 n 2 g ( a i ) 1 | < ε ln 2 ε , 1 c < λ i 2 ε ln σ n λ i < c , | a i y i ε 1 / ( γ i 1 ) ξ i | < μ 0 ε 1 / ( γ i 1 ) i { 1 , , N } , v E a , λ and v < ε } ,
where μ 0 is small constant, c is a positive constant, E a , λ is defined by Equation (17), σ n = 0 if n 5 , and σ 4 = 1 . We also define the following function:
θ ε : M 1 ( ε ) R , ( α , λ , a , v ) θ ε ( α , λ , a , v ) = I ε i = 1 N α i φ a i , λ i + v .
Since the variable v E a , λ , the Euler–Lagrange multiplier theorem implies that the following proposition holds:
Proposition 10. 
( α , λ , a , v ) M 1 ( ε ) is a critical point of θ ε if and only if u = i = 1 N α i φ a i , λ i + v is a critical point of I ε , that is, if and only if there exists ( A , B , C ) R N × R N × ( R n ) N such that the following system holds
θ ε α i ( α , λ , a , v ) = 0 i { 1 , , N } ,
θ ε λ i ( α , λ , a , v ) = B i Ω v λ i 2 φ a i , λ i λ i 2 + j = 1 n C i j Ω v 1 λ i 2 φ a i , λ i λ i a i j i { 1 , , N } ,
θ ε a i ( α , λ , a , v ) = B i Ω v λ i 2 φ a i , λ i λ i a i + j = 1 n C i j Ω v 1 λ i 2 φ a i , λ i a i j a i i { 1 , , N } ,
θ ε v ( α , λ , a , v ) = i = 1 N A i f i , 1 v + B i f i , 2 v + j = 1 n C i j f i , j + 2 v ,
where the image of ( α , λ , a , v ) by the functions appearing in Equation (129) is defined by
f i , 1 = Ω v φ a i , λ i , f i , 2 = λ i Ω v φ a i , λ i λ i , f i , j + 2 = 1 λ i Ω v φ a i , λ i a i j .
The proof of Theorem 2 will be performed through a careful analysis of the previous system on M 1 ( ε ) . Observe that v ¯ ε , defined in Proposition 2, satisfies Equation (129). In the sequel, we will write v ε instead of v ¯ ε . Taking ( α , λ , a , 0 ) M 1 ( ε ) , we see that u ε = i = 1 N α i φ a i , λ i + v ε is a critical point of I ε if and only if ( α , λ , a ) satisfies the following system (for 1 i N ):
E α i I ε ( u ε ) , φ a i , λ i = 0 ,
E λ i I ε ( u ε ) , α i φ a i , λ i λ i = B i Ω v λ i 2 φ a i , λ i λ i 2 + j = 1 n C i j Ω v 1 λ i 2 φ a i , λ i λ i a i j
E a i I ε ( u ε ) , α i φ a i , λ i a i = B i Ω v ł i 2 φ a i , λ i λ i a i + j = 1 n C i j Ω v 1 λ i 2 φ a i , λ i a i j a i
Next, we present the following estimates, which directly follow from Propositions 2, 7–9.
Lemma 5.
The function v ε found in Proposition 2 and the quantities R 6 , R 4 and R 5 defined in Propositions 7–9 respectively satisfy
v ε c ε , R 6 c ε , R 4 ε 1 + ( γ 2 ) / ( γ 1 ) + ε | ln ε | 1 i f n = 4 ;   ε 3 / 2 i f n 5 , R 5 c ( ( ε | ln ε | 1 ) 3 / 2 ( i f n = 4 ) ; ε 2 | ln ε | + ε 3 2 + γ 3 γ 1 ( i f n = 5 ) ; ε 2 + ε 3 2 + γ 3 γ 1 ( i f n 6 ) ) .
Lemma 6.
Let ( α , λ , a , 0 ) M 1 ( ε ) . Then, for ε small, the following estimates hold:
A i = O ( ε ln 2 ε ) , B i = O ( ε ) a n d | C i j | c ε 3 / 2 | ln ε | σ n / 2 1 i N , 1 j n .
Next, we are going to study equations ( E α i ) , ( E λ i ) , ( E a i ) . To obtain an easy system to solve, we perform the following change of variables
β i = 1 α i p 1 g ( y i ) , ln σ n λ i λ i 2 = c 3 E n V ( y i ) ε ( 1 + i ) , ζ i = ε 1 / ( γ i 1 ) ( a i y i ) ξ i .
Using this change of variables, we rewrite our system in the following simple form:
Lemma 7.
For ε small, the system of Equations (130)–(132) is equivalent to the following system (for 1 i N ):
( S ) β i = O ( ε | ln ε | ) , i = O ( ε 1 / ( γ i 1 ) + ε ( γ i 2 ) / ( γ i 1 ) ) + O ( | ln ε | 1   i f n = 4 ; ε 1 / 2   i f n 5 ) , D 2 h ( ξ i ) ζ i = O ( | ζ i | 2 ) + o ( 1 ) ,
where the function h is introduced in Equation (2).
Proof. 
Using the fact that
α i p 1 ε = α i p 1 + O ( ε ) and ł i ε ( n 2 ) / 2 = 1 + O ( ε ln ł i ) ,
we see that Equation (130) is equivalent to the first equation of the system ( S ) .
For the second equation of the system ( S ) , using Equation (131), Proposition 8, Lemmas 5 and 6, we obtain
c 3 ε ( 1 + O ( β i ) ) E n V ( a i ) ln σ n λ i λ i 2 ( 1 + O ( β i ) ) = O ε 1 + ( γ i 2 ) / ( γ i 1 ) + O ( ε | ln ε | 1 ) if n = 4 , O ( ε 3 / 2 ) if n 5 .
Observe that
V ( a i ) = V ( y i ) + O ( | a i y i | ) = V ( y i ) + O ( ε 1 / ( γ i 1 ) , V ( a i ) = V ( y i ) + O ( ε 1 / ( γ i 1 ) ) .
Hence, using the first equation of ( S ) and Equation (133), we derive the second equation of the system ( S ) .
Finally, using Equation (132), Proposition 9, Lemmas 5 and 6, we obtain
1 g ( a i ) ( 1 + O ( β i ) ) c ¯ 5 g ( a i ) + D n ln σ n λ i λ i 2 V ( a i ) ( 1 + O ( β i ) ) = o ( ε ) .
Note that, using Equations (2), (133) and (134), and the first equation of ( S ) , the previous equation becomes
h ( ε 1 / ( γ i 1 ) [ a i y i ] ) + g ( y i ) c ¯ 5 c 3 D n E n V ( y i ) V ( y i ) = o ( 1 ) .
Now, using Equations (124) and (133) and expanding h near ξ i , we derive that
D 2 h ( ξ i ) ζ i = O ( | ζ i | 2 ) + o ( 1 ) .
This ends the proof of Lemma 7. □
Now, we are ready to present the proof of Theorem 2.
Proof of Theorem 2. 
The system ( S ) , as stated in Lemma 7, can be expressed in an equivalent form:
β i = U 1 , i ( ε , β , , ζ ) 1 i N , i = U 2 , i ( ε , β , , ζ ) 1 i N , D 2 h ( ξ i ) ζ i = U 3 , i ( ε , β , , ζ i ) 1 i N ,
with
U 1 , i ( ε , β , , ζ ) = O ( ε | ln ε | ) U 2 , i ( ε , β , , ζ ) = O ( ε 1 / ( γ i 1 ) + ε ( γ i 2 ) / ( γ i 1 ) ) + O ( | ln ε | 1 if n = 4 ; ε 1 / 2 if n 5 ) U 3 , i ( ε , β , , ζ ) = O ( | ζ i | 2 ) + o ( 1 ) ,
where β = ( β 1 , , β N ) , = ( 1 , , N ) and ζ = ( ζ 1 , , ζ N ) .
By defining the linear map
l : R N × R N × ( R n ) N R N × R N × ( R n ) N ( β , , ζ ) ( β , , D 2 h ( ξ 1 ) ( ζ 1 , . ) , , D 2 h ( ξ N ) ( ζ N , . ) ) ,
we observe that the system is equivalent to
l ( β , , ζ ) = ( U 1 ( ε , β , , ζ ) , U 2 ( ε , β , , ζ ) , U 3 ( ε , β , , ζ ) ) ,
where
U 1 ( ε , β , , ζ ) = ( U 1 , 1 , , U 1 , N ) , U 2 ( ε , β , , ζ ) = ( U 2 , 1 , , U 2 , N ) , and U 3 ( ε , β , , ζ ) = ( U 3 , 1 , , U 3 , N ) .
Furthermore, given that ξ i is a non-degenerate critical point of h, we conclude that l is invertible. As a result, Equation (135) is equivalent to.
( β , , ζ ) = l 1 ( U 1 ( ε , β , , ζ ) , U 2 ( ε , β , , ζ ) , U 3 ( ε , β , , ζ ) ) .
By selecting a small positive value for r and letting ( β , , ζ ) B ( 0 , r ) ¯ , we obtain
l 1 ( U 1 ( ε , β , , ζ ) , U 2 ( ε , β , , ζ ) , U 3 ( ε , β , , ζ ) ) l 1 U 1 ( ε , β , , ζ ) , U 2 ( ε , β , , ζ ) , U 3 ( ε , β , , ζ ) ) C l 1 ( | ζ | γ 1 + o ( 1 ) ) C l 1 2 r γ 1
and hence if we choose r [ 1 / ( 2 C l 1 ) ] 1 / ( γ 2 ) , we note that the function
f : B ( 0 , r ) ¯ B ( 0 , r ) ¯ , f ( β , , ζ ) = l 1 ( U 1 ( ε , β , , ζ ) , U 2 ( ε , β , , ζ ) , U 3 ( ε , β , , ζ ) )
is well defined and continuous. Therefore, by applying Brouwer’s fixed point theorem, we conclude that f has a fixed point. This implies that the system ( S ) has at least one solution ( β ε , ε , ζ ε ) for sufficiently small ε . To complete the proof of the theorem, it remains to show that the constructed function u ε = i = 1 N α i , ε φ a i , ε , λ i , ε + v ε is positive. To this end, we first observe that since | v ε | 0 , it follows that u ε 0 for small ε . By the construction of u ε , it is evident that it satisfies the problem defined by
( P ε ) : Δ u ε + V ( x ) u ε = g | u ε | p 1 ε u ε in Ω , u ε ν = 0 on Ω .
Multiplying ( P ε ) by u ε : = max ( 0 , u ε ) and integrating on Ω, we obtain
Ω | u ε | 2 + Ω V ( u ε ) 2 = Ω g ( u ε ) p + 1 ε .
But we have
Ω g ( u ε ) p + 1 ε c Ω ( u ε ) p + 1 p + 1 ε p + 1 C Ω | u ε | 2 + Ω V ( u ε ) 2 p + 1 ε 2
which implies that
either u ε 0 or Ω ( u ε ) p + 1 C 2 ( n 2 ) / ( 4 ε ( n 2 ) ) .
However, since u ε | v ε | and | v ε | L p + 1 0 as ε 0 , we deduce that u ε 0 and u ε 0 . Therefore, by the maximum principle, u ε must be positive. This completes the proof of the theorem. □
Proof of Theorem 3. 
Notice that, from Theorem 2, for each collection of points ( y i 1 , , y i k ) , there exists a solution u ε which blows up at the points y i j ’s, for j { 1 , , k } . Thus the number of solutions is at least equal to
k = 1 C k = 2 1 .
This completes the proof of Theorem 3. □

5.2. Around the Common Critical Points of g and V

In this subsection, we assume that n 5 , and we take N m , where m is the number of common critical points of V and g, and let y 1 , …, y N be some distinct critical points of V and g. We assume that these points are non-degenerate for V and that g satisfies Equation (8) near each one. The proofs of Theorems 4, 6–8 closely follow the proof of Theorem 2 presented in the previous subsection. We will only outline the necessary changes in the remainder of the paper to prove these results. To proceed, let
M 2 ( ε ) = { ( α , λ , a , v ) ( R + ) N × ( R + ) N × Ω N × H 1 ( Ω ) : | α i 4 / ( n 2 ) g ( a i ) 1 | < ε ln 2 ε , 1 M < λ i 2 ε < M , | a i y i | < M η ( ε ) 1 i N , v E a , λ and v < ε } ,
where M is a large positive constant, E a , λ is defined by Equation (17) and
η ( ε ) : = ε if n 6 ; ε | ln ε | if n = 5 .
First, we note that Proposition 10 also holds in this case. Second, as in the previous subsection, we need to find ( α , λ , a , 0 ) M 2 ( ε ) satisfying Equations (130)–(132). Using Propositions 2, 7–9, we easily derive the following estimates.
Lemma 8.
For ε small, the following statements hold:
v ε c ε , R 6 ( i ) c ε , R 4 ( i ) c ε 3 / 2 , R 5 ( i ) c ε 2 i f n 6 , ε 2 | ln ε | i f n = 5 , i ,
where R 6 ( i ) , R 4 ( i ) , and R 5 ( i ) are defined in Propositions 7, 8, and 9, respectively.
Now, by combining Propositions 7–9 and Lemmas A1, …, A4, we observe that the constants A i s , B i s , and C i j s appearing in equations ( E α i ) , ( E λ i ) , and ( E a i ) satisfy the following.
Lemma 9.
Let ( α , λ , a , 0 ) M 2 ( ε ) . Then, for ε small, the following statements hold:
A i = O ( ε ln 2 ε ) , B i = O ( ε ) a n d C i j = O ( ε 3 / 2 ) 1 i N , 1 j n .
Next, for 1 i N , we consider the following change of variables
β i = 1 α i p 1 g ( y i ) , 1 λ i 2 = c 3 E n 1 V ( y i ) ε ( 1 + i ) , ζ i = ε 1 / ( γ i 2 ) ( a i y i ) ,
where c 1 and c 2 are defined in Proposition 8.
This change of variables enables us to express the system in the following simplified form.
Lemma 10.
For ε small, equations ( E α i ) , ( E λ i ) , and ( E a i ) are equivalent to the following system:
( S 1 ) β i = O ( ε | ln ε | + ε ( γ i 1 ) / ( γ i 2 ) | ζ i | γ i 1 ) 1 i N , i = O ( ε 2 / ( γ i 2 ) | ζ i | 2 + ε 1 / 2 ) 1 i N , D 2 V ( y i ) ( ζ i , . ) = O ( | ζ i | 2 ε 1 / ( γ i 2 ) + | ζ i | γ i 1 + R 7 ( ε ) ) 1 i N ,
where
R 7 ( ε ) : = ε ( γ 4 ) / [ 2 ( γ 2 ) ] i f n 6 , ε ( γ 4 ) / [ 2 ( γ 2 ) ] | ln ε | i f n = 5 , w i t h γ : = min γ i .
Proof. 
Using the fact that
α i p 1 ε = α i p 1 + O ( ε ) , g ( a i ) = g ( y i ) + O ( | ζ i | 2 ) and λ i ε ( n 2 ) / 2 = 1 + O ( ε ln λ i ) ,
we see that ( E α i ) is equivalent to the first equation of the system ( S 1 ) .
For the second equation ( E λ i ) , Proposition 8, Lemmas 8 and 9 imply that
( 1 β i ) c 3 ε E n V ( a i ) λ i 2 ( 1 2 β i ) = O ( ε 3 / 2 ) .
Writing
V ( a i ) = V ( y i ) + O ( ε 2 / ( γ i 2 ) | ζ i | 2 ) ,
we obtain the second equation in the system ( S 1 ) .
Lastly, writing
V ( a i ) = D 2 V ( y i ) ( ε 1 γ i 2 ζ i , . ) + O ( ε 2 γ i 2 | ζ i | 2 ) , | g ( a i ) | = O ( | a i y i | γ 1 ) = O ( ε γ i 1 γ i 2 | ζ i | γ i 1 )
and using Proposition 9, Lemmas 8 and 9, we see that equation ( E a i ) is equivalent to the third equation in the system ( S 1 ) which completes the proof of Lemma 10. □
Now, we are ready to present the proof of Theorems 4 and 5.
Proof of Theorem 4. 
Note that, as mentioned earlier, Proposition 10 holds in this case. Thus, the existence of a solution u ε of the form of Equation (11) with the properties of Equations (12) and (13) is equivalent to solving the system Equations (126)–(129). Furthermore, by Proposition 2, taking ( α , λ , a , 0 ) M 2 ( ε ) , we see that u ε = i = 1 N α i φ a i , λ i + v ε is a critical point of I ε if and only if ( α , λ , a ) satisfies the system ( E α i ) , ( E λ i ) , ( E a i ) with i { 1 , , N } which is equivalent, by using Lemma 10, to solving the system ( S 1 ) . Notice that the system ( S 1 ) and the system ( S ) (introduced in the proof of Theorem 2) have the same form. At this stage, since the y i ’s are non-degenerate critical points of V, we can replicate the final part of the proof of Theorem 2 using V in place of h and y i in place of ξ i . Thus, we conclude the existence of a positive critical point u ε of the functional I ε , which completes the proof of Theorem 4. □
Proof of Theorem 5. 
The proof is identical to that of Theorem 3. □

5.3. Combination of the Two Previous Cases: Proof of Theorem 6

In this subsection, our goal is to construct interior blowing-up solutions that concentrate around two groups. One group consists of critical points of g that are not critical for V, while the other consists of common critical points of both g and V. Since the proof of the desired result is simply a straightforward combination of the two proofs presented in the previous two subsections, we will be brief in our presentation. To proceed, let
M ( ε ) = { ( α 1 , α 2 , λ 1 , λ 2 , a 1 , a 2 , v ) : ( α 1 , λ 1 , a 1 , v ) M 1 ( ε ) and ( α 2 , λ 2 , a 2 , v ) M 2 ( ε ) } .
Following the proof of Theorems 2 and 4 and applying the change of variables for ( α 1 , λ 1 , a 1 ) , given in Equation (133) and for ( α 2 , λ 2 , a 2 ) , given in Equation (139), we deduce the proof of this theorem in the same manner as before.

6. Construction of Interior Blowing up Solutions with Clustered Bubbles

This section is devoted to the proof of Theorems 7 and 8. We begin by proving Theorem 7. Let n 5 , and y be a common critical point of g and V. We assume that y is non-degenerate for V and that g satisfies Equation (8) with γ > 4 + 8 / ( n 4 ) . Let N N with N 2 and assume that the function F N , y has a non-degenerate critical point ( z ¯ 1 , ,   z ¯ N ) where F N , y is defined by Equation (9). The proof strategy for Theorem 7 follows the same approach as that of Theorem 4. We begin by introducing a neighborhood of the desired constructed solutions. Let
V ( N , y , ε ) = { ( α , λ , a , v ) R + N × R + N × Ω N × H 1 ( Ω ) : | α i 4 / ( n 2 ) g ( a i ) 1 | < ε ln 2 ε , 1 c < λ i 2 ε < c , | a i y ε μ σ z ¯ i | ε μ η 0 1 i N , v E a , λ v < ε } ,
where E a , λ is defined by Equation (17),
μ = n 4 2 n and σ = c ¯ 1 D n 1 / n c 3 E n V ( y ) μ .
Here, c 1 , D n , c 3 and E n denote the constants defined in Proposition 8 and 9.
Following the approach in the proof of Theorem 4, we reduce the problem to a finite-dimensional system. Using Proposition 2, we can achieve this reduction by identifying v ¯ that satisfies Equation (129). Consequently, we seek a solution ( α , λ , a ) V N , y , ε that satisfies the system defined by Equations (130)–(132), where V N , y , ε is defined by
V N , y , ε = { ( α , λ , a ) ( R + ) N × ( R + ) N × Ω N : ( α , λ , a , 0 ) V ( N , y , ε ) } .
Following a similar approach as in the proof of Theorem 4, we introduce the change of variables as follows:
β i = 1 α i p 1 g ( y ) , 1 λ i 2 = c 3 E n 1 V ( y ) ε ( 1 + i ) , ( a i y ) = ε μ σ ( ζ i + z ¯ i ) ,
where 1 i N , c 3 , and E n are defined in Proposition 8. With these variable changes, it becomes straightforward to observe that
ε i j = 1 ( λ i λ j | a i a j | 2 ) n 2 2 ( 1 + O ( ε 4 / n ) ) = O ε 2 μ + 1
ε i j a i = ( n 2 ) ε μ + 1 σ n 1 c 3 E n V ( y ) ( n 2 ) / 2 ( ζ j + z ¯ j ζ i z ¯ i ) ζ i + z ¯ i ζ j z ¯ j n 1 + R ( i , j ( 1 + O ( ε 4 n ) ) = O ( ε μ + 1 ) ,
where
R ( i , j ) = n 2 4 i + n 2 4 j + O i 2 + O j 2 .
Subsequently, by applying Propositions 2, 7–9, we can conclude that the following estimates are valid.
Lemma 11.
For ε small, the following statements hold:
v ¯ ε c ε , R 6 ( i ) = O ( ε ) , R 4 ( i ) = O ε 3 / 2 + ε 4 μ + 1 , R 5 ( i ) c ε 2 | ln ε | + ε 2 μ + 3 / 2 ,
where R 6 , R 4 , and R 5 are defined in Propositions 7, 8 and 9, respectively.
At this point, following the argument used in the proof of Lemma 9, we deduce that the constants A i s , B i s , and C i j s that appear in equations ( E α i ) , ( E λ i ) , and ( E a i ) satisfy the following estimates:
Lemma 12.
Let ( α , λ , a , 0 ) V ( N , y , ε ) . Then, for ε small, the following statements hold:
A i = O ( ε ln 2 ε ) , B i = O ( ε ) a n d C i j = O ( ε μ + 3 / 2 ) 1 i N , 1 j n .
Next, we seek to express the equations ( E α i ) , ( E λ i ) , ( E a i ) in a more simplified form.
Lemma 13.
For ε small, equations ( E α i ) , ( E λ i ) , ( E a i ) are equivalent to the following system:
( S ) β i = O ( ε | ln ε | ) 1 i N i = O ε 1 / 2 + ε 2 μ 1 i N D 2 V ( y ) ( ζ i , . ) ( n 2 ) j i ζ j ζ i | z ¯ j z ¯ i | n + n ( n 2 ) j i z ¯ j z ¯ i | z ¯ j z ¯ i | 2 , ζ j ζ i z ¯ j z ¯ i | z ¯ j z ¯ i | n ( n 2 ) j i z ¯ j z ¯ i | z ¯ j z ¯ i | n n 6 4 i + n 2 4 j = O ( R 8 ) 1 i N ,
where
R 8 = j = 1 N j 2 + j = 1 N | ζ j | 2 + ε μ + ε 2 / n | ln ε | + ε [ γ ( n 4 ) ( 4 n 8 ) ] / ( 2 n ) .
Proof. 
First, using Proposition 7, Lemma 11, Equation (140) and the fact that ( α , λ , a ) V N , y , ε , we see that ( E α i ) is equivalent to the first equation of the system ( S ) .
Second, using Lemma 12, we write
I ε ( u ) , λ i φ i λ i = O | B i | v L 2 λ i 2 φ i λ i 2 L 2 + j = 1 N | C i j | v L 2 2 φ i λ i a i j L 2 = O ε v λ i + ε μ + 3 / 2 v = O ε 3 / 2 v .
Using Proposition 8 and Lemma 11, we obtain
c 3 ε E n V ( a i ) λ i 2 = O ε | β i | + ε 3 / 2 + ε 2 μ + 1 .
But we have
V ( a i ) = V ( y ) + O | a i y | 2 = V ( y ) + O ε 2 μ .
This implies that ( E λ i ) is equivalent to the second equation of the system ( S ) .
To deal with the third equation ( E a i ) , we write
I ε ( u ) , 1 λ i φ i a i = O | B i | v L 2 | | 2 φ i λ i a i | | L 2 + j = 1 N | C i j | v L 2 | | 1 λ i 2 2 φ i a i a i j | | L 2 = O ε v + ε μ + 3 / 2 v = O ε v .
But, combining Equation (146), Proposition 9 and Lemma 11, Equation (148) becomes
D n λ i 3 V ( a i ) c 5 ε 1 + μ λ i j i ( ζ j + z ¯ j ζ i z ¯ i ) | ζ j + z ¯ j ζ i z ¯ i | n 1 + n 2 4 i + n 2 4 j + O i 2 + j 2 = O ε μ ( γ 1 ) + 1 / 2 + ε 2 | ln ε | + ε 2 μ + 3 / 2 ,
where
c 5 = c 1 ( n 2 ) σ n 1 c 3 E n V ( y ) ( n 2 ) / 2 .
Observe that
V ( a i ) = D 2 V ( y ) ( a i y , . ) + O | a i y | 2 = ε μ σ D 2 V ( y ) ( ζ i + z ¯ i , . ) + O ε 2 μ .
Combining Equation (149) and Equation (150), we obtain
D 2 V ( y ) ( ζ i + z ¯ i , . ) ( n 2 ) j i ( ζ j + z ¯ j ζ i z ¯ i ) | ζ j + z ¯ j ζ i z ¯ i | n ( 1 + n 6 4 i + n 2 4 j + O i 2 + j 2 ) = O ε μ + ε μ ( γ 2 ) 1 + ε 1 2 μ | ln ε | .
But we have
D 2 V ( y ) ( ζ i + z ¯ i , . ) = D 2 V ( y ) ( ζ i , . ) + D 2 V ( y ) ( z ¯ i , . )
and
( ζ j + z ¯ j ζ i z ¯ i ) | ζ j + z ¯ j ζ i z ¯ i | n = ( z ¯ j z ¯ i ) | z ¯ j z ¯ i | n + ( ζ j ζ i ) | z ¯ j z ¯ i | n 1 n ( z ¯ j z ¯ i ) | z ¯ j z ¯ i | 2 , ζ j ζ i + O j = 1 N | ζ j | 2 = ( z ¯ j z ¯ i ) | z ¯ j z ¯ i | n n ( z ¯ j z ¯ i ) | z ¯ j z ¯ i | 2 , ζ j ζ i ( z ¯ j z ¯ i ) | z ¯ j z ¯ i | n + ( ζ j ζ i ) | z ¯ j z ¯ i | n + O j = 1 N | ζ j | 2 .
Combining Equation (151)–(153) and the fact that ( z ¯ 1 , , z ¯ N ) is a critical point of F N , y , we see that equation ( E a i ) is equivalent to
( F a i ) D 2 V ( y ) ( ζ i , . ) ( n 2 ) j i ζ j ζ i | z ¯ j z ¯ i | n + n ( n 2 ) j i z ¯ j z ¯ i | z ¯ j z ¯ i | 2 , ζ j ζ i z ¯ j z ¯ i | z ¯ j z ¯ i | n ( n 2 ) j i z ¯ j z ¯ i | z ¯ j z ¯ i | n n 6 4 i + n 2 4 j = O ( R 8 ) ,
which completes the proof of Lemma 13. □
At this point, we are prepared to prove the results concerning the construction of clustered bubbling solutions.
Proof of Theorem 7. 
Note that the system ( F a 1 ) , …, ( F a N ) is equivalent to
1 2 D 2 F N , y ( z ¯ 1 , . . . , z ¯ N ) ( ζ 1 , . . . , ζ N ) Γ = O j = 1 N j 2 + j = 1 N | ζ j | 2 + ε μ + ε 2 / n | ln ε | + ε [ γ ( n 4 ) ( 4 n 8 ) ] / ( 2 n ) ,
where Γ : = ( Γ 1 , , Γ N ) defined by
Γ i : = ( n 2 ) j i z ¯ j z ¯ i | z ¯ j z ¯ i | n n 6 4 i + n 2 4 j .
As in the proof of Theorem 4, we define a linear map by taking the left-hand side of the system defined by ( F α i ) , ( F λ i ) and ( F a i ) . Since ( z ¯ 1 , . . . , z ¯ N ) is a non-degenerate critical point of F N , y , we deduce that such a linear map is invertible and arguing as in the proof of Theorem 4, we derive that the system ( S ) has a solution ( β ε , ε , ζ ε ) for ε small. This implies that ( P ε ) admits a solution u ε , y = i = 1 N α i , ε φ a i , ε , λ i , ε + v ε . and by construction, Equation (10) is satisfied. The proof of Theorem 7 is thereby completed. □
Proof of Theorem 8. 
Let n 5 , 2 m N , N 1 , , N m N and let y 1 , , y m satisfy the assumptions stated in Theorem 7. For k m , we assume that N k 2 and the function F N k , y k has a non-degenerate critical point ( z ¯ k , 1 , , z ¯ k , N k ) . We introduce the following set
V ( y 1 , , y m , ε ) = V ( N 1 , y 1 , ε ) × × V ( N m , y m , ε ) .
We need to construct solution in the form
u ε = k = 1 m i = 1 N k α i , k φ a i , k , λ i , k + v ¯ ε : = k = 1 m i = 1 N k α i , k φ i , k + v ¯ ε .
We remark that, for a i , a j such that | a i y i | < < 1 and | a j y j | < < 1 , we have | a i a j | c > 0 and thus
ε i j c ( λ i , ε λ j , ε ) ( n 2 ) / 2 = O ( ε ( n 2 ) ) / 2 ) = o ( ε | ln ε | ) , λ i | ε i j λ i | c ( λ i , ε λ j , ε ) ( n 2 ) / 2 c ε ( n 2 ) ) / 2 c ε 3 / 2 , 1 λ i | ε i j a i | c λ i n / 2 λ j ( n 2 ) / 2 c ε ( n 1 ) / 2 c ε 2 .
Therefore, Propositions 7–9 can be rewritten as
Proposition 11. 
Let 1 k m and 1 i N k . It holds that
I ε ( u ε ) , φ k , i = α k , i S n ( 1 g ( a k , i ) α k , i p 1 ε λ k , i ε ( n 2 ) / 2 ) + O ( ε ) , I ε ( u ) , λ k , i φ k , i λ k , i = α k , i p ε λ k , i ε ( n 2 ) 2 c 3 ε g ( a k , i ) α k , i E n V ( a k , i ) ln σ n λ k , i λ k , i 2 ( 1 + 2 α k , i p 1 ε λ k , i ε ( n 2 ) 2 × g ( a k , i ) ) c 1 j i α k , j λ k , i ε i j λ k , i ( 1 + α k , i p 1 ε λ k , i ε ( n 2 ) 2 g ( a k , i ) + α k , j p 1 ε λ k , j ε ( n 2 ) 2 g ( a k , j ) ) + O ( ε 3 2 + ε 4 μ + 1 ) , I ε ( u ) , 1 λ i φ i a k , i = α k , i p ε λ k , i ε ( n 2 ) 2 c ¯ 5 g ( a k , i ) λ k , i + α k , i D n ln σ n λ k , i λ k , i 3 V ( a k , i ) ( 1 + 2 α k , i p 1 ε × λ k , i ε ( n 2 ) 2 g ( a k , i ) ) c 1 j i α k , j 1 λ k , i ε i j a k , i [ 1 + α k , i p 1 ε λ k , i ε ( n 2 ) / 2 g ( a k , i ) + α k , j p 1 ε λ k , j ε ( n 2 ) / 2 g ( a k , j ) ] + O ( ε 2 | ln ε | + ε 2 μ + 3 / 2 ) .
This means that only the indices in the same bloc are involved in the expansions. That is the contribution of the other blocs are taken in the remainder term.
As in the proof of Theorem 7, we derive the following.
Lemma 14. 
For ε small, u ε is a critical point of I ε if and the only if the following system ( S 1 , , S m ) is satisfied where, for 1 k m and 1 i N ,
( S k ) β k , i = O ( ε | ln ε | ) k , i = O ε 1 / 2 + ε 2 μ D 2 V ( y i ) ( ζ k , i , . ) ( n 2 ) j i ζ k , j ζ k , i | z ¯ k , j z ¯ k , i | n + n ( n 2 ) j i z ¯ k , j z ¯ k , i | z ¯ k , j z ¯ k , i | 2 , ζ k , j ζ k , i × z ¯ k , j z ¯ k , i | z ¯ k , j z ¯ k , i | n ( n 2 ) j i z ¯ k , j z ¯ k , i | z ¯ k , j z ¯ k , i | n n 6 4 k , i + n 2 4 k , j = O ( R 8 ) ,
where
R 8 = j = 1 N k , j 2 + j = 1 N | ζ k , j | 2 + ε μ + ε 2 / n | ln ε | + ε [ γ ( n 4 ) ( 4 n 8 ) ] / ( 2 n ) ,
β k , i = 1 α k , i p 1 g ( y k ) , 1 λ k , i 2 = c 3 E n 1 V ( y k ) ε ( 1 + k , i ) , 1 i N k , ( a k , i y k ) = ε μ σ k ( ζ k , i + z ¯ k , i ) 1 i N k ,
σ k is defined by Equation (142) with y k instead of y and μ is defined in Equation (142).
The existence of a solution for the system ( S 1 , , S m ) follows as in the previous proofs by using the fact that for each 1 k m , the point ( z ¯ k , 1 , , z ¯ k , N k ) is a non-degenerate critical point of F N k , y k . Following the end of the proof of Theorem 2, the constructed solution is positive. Hence the proof of Theorem 8 is completed. □

7. Conclusions

In this paper, we studied a nonlinear elliptic equation with zero Neumann boundary conditions. Under a certain flatness condition, we provided a detailed characterization of the single interior blow-up scenario for solutions that weakly converge to zero. Additionally, we constructed interior multipeaked solutions, featuring both isolated and clustered bubbles. In particular, we have highlighted that the key difference between the case where the critical points of the function appearing in front of the nonlinear term are non-degenerate, and our case, where the critical points are degenerate, is that interior blowing-up solutions with clustered bubbles do, in fact, exist. While this work focused on the case where the exponent is slightly subcritical and on solutions that weakly converge to zero, it also opens several promising avenues for future research and unresolved questions. The following are examples:
(i) 
Impact of the Nonlinear Exponent: This work examines the case of a slightly subcritical exponent in the context of Sobolev embedding. Future research could explore the problem for exponents that are slightly supercritical, that is, when ε < 0 but close to zero.
(ii) 
Limit of the solutions: This paper focuses on solutions that weakly converge to zero. What occurs in the case where the solutions of the problem have a non-zero weak limit?

Author Contributions

A.A. and K.E.M.: conceptualization, methodology, investigation, writing original draft, writing—review and editing. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Deanship of Scientific Research, Qassim University, grant number project QU-J-PG-2-2025-53930.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors gratefully acknowledge Qassim University, represented by the Deanship of Graduate Studies and Scientific Research, on the financial support for this research under the number (QU-J-PG-2-2025-53930) during the academic year 1446 AH/2024 AD.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A

For the sake of completeness, we present several estimates used throughout the paper in this appendix. These useful estimates are taken from [38]. For a Ω and λ > 0 , let φ a , λ and ψ a , λ be defined in Equations (4) and (40) respectively. In what follows, we assume that d ( a , Ω ) c > 0 .
Proposition A1
([38]). We have the following estimates:
(i
| ψ a , λ ( y ) | C χ 1 ( y ) w h e r e   χ 1 ( x ) : = ( λ 2 + | y a | 2 ) δ a , λ ( y ) i f n 5 , ( λ 2 ln λ + | y a | 2 | ln | y a | | ) δ a , λ ( y ) i f n = 4 , ( λ 1 + | y a | ) δ a , λ ( y ) i f n = 3 .
(ii
λ ψ a , λ λ s a t i s f i e s t h e s a m e e s t i m a t i o n s a t i s f i e d b y ψ a , λ i n ( i ) .
(iii
| 1 λ ψ a , λ a ( y ) | C ( λ 2 + λ 1 | y a | ) δ a , λ ( y ) i f n 4 , ( λ 2 ln λ + λ 1 | y a | | ln | y a | | ) δ a , λ ( y ) i f n = 3 .
(iv
ψ a , λ = O ( δ a , λ ) , λ ψ a , λ λ = O ( δ a , λ ) , 1 λ ψ a , λ a = O ( λ 1 δ a , λ ) .
(v
φ a λ = O ( δ a , λ ) , λ φ a , λ λ = O ( δ a , λ ) , 1 λ φ a , λ a = O ( δ a , λ ) .
Lemma A1
([38]). Let a be such that d ( a , ) C > 0 . Then, the following estimate holds:
φ a , λ 2 : = Ω | φ a , λ | 2 + Ω V φ a , λ 2 = S n d n V ( a ) ln σ n λ λ 2 + O ( R 1 ( λ ) ) ,
where S n is defined in Equation (77), σ 4 = 1 , and σ n = 0 if n 5 ,
d n = c 0 2 R n d x ( 1 + | x | 2 ) n 2 i f n 5 , d 4 = c 0 2 | S 3 | ,
R 1 ( λ ) = 1 λ 2 i f n = 4 , 1 λ 3 i f n = 5 , ln λ λ 4 i f n = 6 , 1 λ 4 i f n 7 .
Lemma A2
([38]). Let a be such that d ( a , ) c > 0 . Then, the following estimate holds:
( φ a , λ , λ φ a , λ λ ) = V ( a ) E n ln σ n λ λ 2 + O ( R 1 ( λ ) )
where R 1 ( λ ) is defined in Lemma A1 and E n is defined in Theorem 2.
Lemma A3
([38]). Let a be such that d ( a , ) C > 0 . Then, the following estimate holds:
( φ a , λ , 1 λ φ a , λ a ) = c 0 2 2 | S 3 | ln λ λ 3 V ( a ) + O ( 1 λ 3 ) i f n = 4 , c ¯ 2 λ 3 V ( a ) + O ( ln t n λ λ 4 ) i f n 5 ,
where t n = 1 if n = 5 , t n = 0 i f n 6 and c ¯ 2 = c 0 2 n 2 n R n | y | 2 ( 1 + | y | 2 ) n 1 d y .
Lemma A4
([38]). Let a i , a j be such that d ( a k , ) c > 0 for k { i , j } . Then, we have
φ a j , λ j , φ a i , λ i = c 1 ε i j + O ε i j n n 2 + 1 ( λ i λ j ) n 2 2 + ε i j | a i a j | 2 | ln σ n | a i a j | | + k = i , j ln σ n λ k λ k 2 ,
φ a j , λ j , 1 λ i φ a i , λ i a i = c 1 1 λ i ε i j a i + O λ i | a i a j | ε i j n + 1 n 2 + 1 λ i ε i j + O 1 λ j ( n + 2 ) / 2 1 λ i ( n 2 ) / 2 ,
φ a j , λ j , λ i φ a i , λ i λ i = c 1 λ i ε i j λ i + O ε i j n n 2 ln ε i j 1 + O 1 ( λ i λ j ) ( n 2 ) / 2 + O ε i j | a i a j | 2 | ln σ n | a i a j | | + ln σ n λ i λ i 2 + ln σ n λ j λ j 2 ,
where σ 4 = 1 , σ n = 0 for n 5 and c 1 is defined in Proposition 5.
Lemma A5
([38]). Let a be such that d ( a , ) c > 0 . Then, for ε ln λ small, the following estimate holds:
(i)
Ω δ a , λ p ε λ ψ a , λ λ = c 0 ε λ ε ( n 2 ) / 2 φ a , λ , λ φ a , λ λ + O ε ln σ n λ λ 2 + 1 λ n ,
(ii)
Ω δ a , λ p 1 ε ψ a , λ λ δ a , λ λ = c 0 ε λ ε ( n 2 ) / 2 φ a , λ , λ φ a , λ λ + O ε ln σ n λ λ 2 + 1 λ n ,
where σ n = 0 if n 5 and σ 4 = 1 .
Lemma A6
([38]). Let n 4 , a be such that d ( a , ) c > 0 and let
χ 1 ( x ) = 1 λ 2 + | x a | 2 i f n 5 , ln λ λ 2 + | x a | 2 | ln | x a | | i f n = 4 , χ 2 ( x ) : = 1 λ 2 + | x a | λ .
Then, we have the following:
(i) 
Ω χ 1 ( x ) δ a , λ p + 1 c ln σ n ( λ ) λ 2 ; Ω χ 1 ( x ) δ a , λ p + 1 ln 1 + λ 2 | x a | 2 c ln σ n ( λ ) λ 2 ,
(ii) 
Ω χ 2 ( x ) δ a , λ p + 1 c λ 2 ; Ω χ 2 ( x ) δ a , λ p + 1 ln 1 + λ 2 | x a | 2 c λ 2 ,
(iii) 
Ω | x a | χ 1 ( x ) δ a , λ p + 1 c ln σ n λ λ 3 ; ( i v ) Ω | x a | 2 χ 1 ( x ) δ a , λ p + 1 c ln σ n λ 4 ,
(v) 
Ω | x a | χ 2 ( x ) δ a , λ p + 1 c λ 3 ; ( v i ) Ω | x a | 2 χ 2 ( x ) δ a , λ p + 1 c λ 4 .
Lemma A7
([38]). Let a be such that d ( a , ) c > 0 . Thus, we have the following:
(i) 
Ω δ a , λ p 1 ψ a , λ 2 c λ 4 i f n 5 a n d Ω δ a , λ p 1 ψ a , λ 2 c ln 3 λ λ 4 i f n = 4 ,
(ii) 
Ω δ a , λ p 1 | ψ a , λ | | λ ψ a , λ λ | c λ 4 i f n 5 a n d Ω δ a , λ p 1 | ψ a , λ | | λ ψ a , λ λ | c ln 3 λ λ 4 i f n = 4 ,
(iii) 
Ω δ a , λ p 1 | ψ a , λ | 1 λ | ψ a , λ a | c λ 4 i f n 5 a n d Ω δ a , λ p 1 | ψ a , λ | 1 λ | ψ a , λ a | c ln λ λ 4 i f n = 4 .
Lemma A8
([38]). Let a be such that d ( a , ) c > 0 . Then, for ε ln λ small, the following estimates hold:
(i) 
p Ω δ a , λ p 1 ε 1 λ δ a , λ a ψ a , λ = c 0 ε λ ε ε ( n 2 ) / 2 φ a , λ , 1 λ φ a , λ λ + O ε ln σ n λ λ i 2 + 1 λ n + 1
(ii) 
Ω δ a , λ p ε 1 λ ψ a , λ a = c 0 ε λ ε ε ( n 2 ) / 2 φ a , λ , 1 λ φ a , λ λ + O ε λ 2 + 1 λ n + 1 .

References

  1. Keller, E.F.; Segel, L.A. Initiation of slime mold aggregation viewed as an instability. J. Theor. Biol. 1970, 26, 399–415. [Google Scholar] [CrossRef]
  2. Schaaf, R. Stationary solutions of chemotaxis systems. Trans. Am. Math. Soc. 1985, 292, 531–556. [Google Scholar] [CrossRef]
  3. Gierer, A.; Meinhardt, H. A theory of biological pattern formation. Kybernetik 1972, 12, 30–39. [Google Scholar] [CrossRef] [PubMed]
  4. Lin, C.S.; Ni, W.N.; Takagi, I. Large amplitude stationary solutions to a chemotaxis system. J. Differ. Equ. 1988, 72, 1–27. [Google Scholar] [CrossRef]
  5. Ni, W.-M.; Takagi, I. On the shape of least-energy solutions to a semi-linear problem Neumann problem. Commun. Pure Appl. Math. 1991, 44, 819–851. [Google Scholar] [CrossRef]
  6. Ni, W.-M.; Takagi, I. Locating the peaks of least-energy solutions to a semi-linear Neumann problem. Duke Math. J. 1993, 70, 247–281. [Google Scholar] [CrossRef]
  7. Pino, M.D.; Felmer, P. Spike-Layered Solutions of singularly perturbed elliptic problems in a degenerate setting. Indiana Univ. Math. J. 1999, 48, 883–898. [Google Scholar]
  8. Dancer, E.N.; Yan, S. Multipeak solutions for a singularly perturbed Neumann problem. Pacic J. Math. 1999, 189, 241–262. [Google Scholar] [CrossRef]
  9. Pino, M.D.; Felmer, P.; Wei, J. On the role of mean curvature in some singularly perturbed Neumann problems. SIAM J. Math. Anal. 2000, 31, 63–79. [Google Scholar] [CrossRef]
  10. Grossi, M.; Pistoia, A.; Wei, J. Existence of multipeak solutions for a semilinear Neumann problem via nonsmooth critical point theory. Calc. Var. PDE 2000, 11, 143–175. [Google Scholar] [CrossRef]
  11. Gui, C.; Wei, J. Multiple interior peak solutions for some singularly perturbed Neumann problems. J. Differ. Equ. 1999, 158, 1–27. [Google Scholar] [CrossRef]
  12. Wei, J.; Xu, B.; Yang, W. On Lin-Ni’s Conjecture in dimensions four and six. Sci. China Math. 2019, 49, 281–306. [Google Scholar] [CrossRef]
  13. Adimurthi Yadava, S.L. Existence and nonexistence of positive radial solutions of Neumann problems with critical Sobolev exponents. Arch. Rat. Mech. Anal. 1991, 115, 275–296. [Google Scholar] [CrossRef]
  14. Rey, O.; Wei, J. Arbitrary number of positive solutions for elliptic problem with critical nonlinearity. J. Eur. Math. Soc. 2005, 7, 449–476. [Google Scholar] [CrossRef]
  15. Adimurthi, F. Pacella, S.L. Yadava, Interaction between the geometry of the boundary and positive solutions of a semilinear Neumann problem with critical nonlinearity. J. Funct. Anal. 1993, 113, 318–350. [Google Scholar] [CrossRef]
  16. Ni, W.N.; Pan, X.B.; Takagi, I. Singular behavior of least-energy solutions of a semi-linear Neumann problem involving critical Sobolev exponents. Duke Math. J. 1992, 67, 1–20. [Google Scholar] [CrossRef]
  17. Caffarelli, L.; Gidas, B.; Spruck, J. Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Commun. Pure Appl. Math. 1989, 42, 271–297. [Google Scholar] [CrossRef]
  18. Adimurthi, A.; Mancini, G. The Neumann Problem for Elliptic Equations with Critical Nonlinearity; “A tribute in Honour of G. Prodi”; Scuola Normale Superiore: Pisa, Italy, 1991; pp. 9–25. [Google Scholar]
  19. Druet, O.; Robert, F.; Wei, J. The Lin-Nis problem for mean convex domains. Mem. Am. Math. Soc. 2012, 218, 1027. [Google Scholar]
  20. Ghoussoub, N.; Gui, C. Multi-peak solutions for a semilinear Neumann problem involving the critical Sobolev exponent. Math. Z. 1998, 229, 443–474. [Google Scholar]
  21. Gui, C.; Lin, C.-S. Estimates for boundary-bubbling solutions to an elliptic Neumann problem. J. Reine Angew. Math. 2002, 546, 201–235. [Google Scholar] [CrossRef]
  22. Wang, L.; Wei, J.; Yan, S. A Neumann problem with critical exponent in nonconvex domains and Lin-Ni’s conjecture. Trans. Am. Math. Soc. 2010, 362, 4581–4615. [Google Scholar] [CrossRef]
  23. Wang, Z.-Q. Construction of multi-peaked solutions for a nonlinear Neumann problem with critical exponent in symmetric domains. Nonlinear Anal. 1996, 27, 12811306. [Google Scholar] [CrossRef]
  24. Wei, J.; Yan, S. Arbitrary many boundary peak solutions for an elliptic Neumann problem with critical growth. J. Math. Pures Appl. 2007, 88, 350–378. [Google Scholar] [CrossRef]
  25. Rey, O. Boundary effect for an elliptic Neumann problem with critical nonlinearity. Commun. Part. Differ. Equ. 1997, 22, 1055–1139. [Google Scholar] [CrossRef]
  26. Rey, O. The question of interior blow-up points for an elliptic Neumann problem: The critical case. J. Math. Pures Appl. 2002, 81, 655–696. [Google Scholar] [CrossRef]
  27. Rey, O.; Wei, J. Blow-up solutions for an elliptic Neumann problem with sub- or supercritical nonlinearity, II: N ≥ 4. Ann. Inst. H Poincaré Anal. Non-Linéaire 2005, 22, 459–484. [Google Scholar] [CrossRef]
  28. Rey, O.; Wei, J. Blow-up solutions for an elliptic Neumann problem with sub- or supercritical nonlinearity, I: N = 3. J. Funct. Anal. 2004, 212, 472–499. [Google Scholar] [CrossRef]
  29. Ben Ayed, M.; El Mehdi, K. Non-Existence of Interior Bubbling solutions for Slightly Supercritical Elliptic Problems. Bound. Value Probl. 2023, 90, 2023. [Google Scholar] [CrossRef]
  30. El Mehdi, K.; Mohamed Salem, F. Interior Bubbling Solutions for an Elliptic Equation with slightly subcritical nonlinearity. Mathematics 2023, 11, 1471. [Google Scholar] [CrossRef]
  31. Ben Ayed, M.; El Mehdi, K.; Mohamed Salem, F. Inerior multi-peak solution for a slightly subcritical nonlinear Neumann equation. Symmetry 2024, 291, 16. [Google Scholar]
  32. Struwe, M. A global compactness result for elliptic boundary value problems involving limiting nonlinearities. Math. Z. 1984, 187, 511–517. [Google Scholar] [CrossRef]
  33. Lions, P.L. The concentration-compactness principle in the calculus of variations. The limit case. Part I. Rev. Mat. Iberoam. 1985, 1, 145–201. [Google Scholar] [CrossRef]
  34. Bahri, A.; Coron, J.M. On a nonlinear elliptic equation involving the critical Sobolev exponent: The effect of the topology of the domain. Commun. Pure Appl. Math. 1988, 41, 253–294. [Google Scholar] [CrossRef]
  35. Bahri, A. Critical Points at Infinity in Some Variational Problems; Research Notes in Mathematics, 182; Longman-Pitman: London, UK, 1989. [Google Scholar]
  36. Dammak, Y. A non-existence result for low energy sign-changing solutions of the Brezis–Nirenberg problem in dimensions 4, 5 and 6. J. Differ. Equ. 2017, 263, 7559–7600. [Google Scholar] [CrossRef]
  37. Bahri, A.; Li, Y.; Rey, O. On a variational problem with lack of compactness: The topological effect of the critical points at infinity. Calc. Var. Part. Differ. Equ. 1995, 3, 67–94. [Google Scholar] [CrossRef]
  38. Ben Ayed, M.; El Mehdi, K. Interior blowing up solutions for a subcritical Neumann problem in small dimensional domains. Department of Mathematics, College of Science, Qassim University: Buraydah, Saudi Arabia, 2025; to be submitted. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Almoteri, A.; El Mehdi, K. Interior Multipeaked Solutions for Slightly Subcritical Elliptic Problems. Symmetry 2025, 17, 579. https://doi.org/10.3390/sym17040579

AMA Style

Almoteri A, El Mehdi K. Interior Multipeaked Solutions for Slightly Subcritical Elliptic Problems. Symmetry. 2025; 17(4):579. https://doi.org/10.3390/sym17040579

Chicago/Turabian Style

Almoteri, Abdulhadi, and Khalil El Mehdi. 2025. "Interior Multipeaked Solutions for Slightly Subcritical Elliptic Problems" Symmetry 17, no. 4: 579. https://doi.org/10.3390/sym17040579

APA Style

Almoteri, A., & El Mehdi, K. (2025). Interior Multipeaked Solutions for Slightly Subcritical Elliptic Problems. Symmetry, 17(4), 579. https://doi.org/10.3390/sym17040579

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop