construction of solutions to a nonlinear critical elliptic system via local pohozaev identities
Abstract.
In this paper, we investigate the following elliptic system with Sobolev critical growth
where , are bounded non-negative function in , . By combining a finite reduction argument and local Pohozaev type of identities, assuming that and have a common topologically nontrivial critical point, we construct an unbounded sequence of non-radial positive vector solutions of synchronized type, whose energy can be made arbitrarily large. Our result extends the result of a single critical problem by [Peng, Wang and Yan,J. Funct. Anal. 274: 2606-2633, 2018]. The novelties mainly include the following two aspects. On one hand, when , the coupling exponent , which creates a great trouble for us to apply the perturbation argument directly. This constitutes the main difficulty different between the coupling system and a single equation. On the other hand, the weaker symmetry conditions of and make us not estimate directly the corresponding derivatives of the reduced functional in locating the concentration points of the solutions, we employ some local Pohozaev identities to locate them.
Key Words: critical elliptic systems; local Pohozeav identities; Lyapunov-Schmidt reduction; Synchronized vector solutions.
AMS Subject Classification: 35B33, 35J10, 35J60, 35B38.
1. Introduction and main results
In this paper, we are concerned with the multiplicity of solutions for the following nonlinear critical Schrödinger system
(1.1) |
where are bounded non-negative function in , , is a coupling constant. For the understanding of (1.1), let us begin with the single equation in . It is related to the following well-known Brezis-Nirenberg problem in
(1.2) |
Indeed, after using the stereographic projection, problem (1.2) can be reduced to
with and if . In the pioneer work, Chen, Wei and Yan [6] applied the reduction argument to consider the Schrödinger equation with the critical exponent
If is radially symmetric, has a local maximum point or a local minimum point with , they proved the existence of infinitely many positive solutions. Do the same thing for the following equation
where , is bounded. By using the Pohozaev identities, Peng, Wang and Yan [23] overcome the difficulty appearing in using the standard reduction method to find algebraic equations which determine the location of bubbles. Moreover, He, Wang and Wang combining the reduction method and local Pohozaev identities proved non-degeneracy of multi-bubbling solutions of [14]. On the other hand, F. Du etc. [11] consider the multi-piece of bubble solutions for a nonlinear critical elliptic equation.
For the system, Peng and Wang discuss the following system in [25]
(1.3) |
where are positive radial potential, . They examined the effect of nonlinear coupling on the solution structure. The authors use a finite dimensional reduction argument and found the location of bubbles by using a maximization procedure. They constructed an unbounded sequence of non-radial positive vector solutions of segregated type and an unbounded sequence of non-radial positive vector solution of synchronized type. The work of [18] gives solutions with one component peaking at the origin and the other having a finite number of peaks on a k-polygon. On the other hand, for the , , it is known (for example [3, 2]) that there are special positive solutions with the two components being positive constant multiples of the unique positive solution of the scalar cubic Schrödinger equation . For the elliptic system of subcritical exponent, readers can refer to [15, 19, 26, 32, 33].
Systems of nonlinear Schrödinger equations with critical exponent have been the subject of extensive mathematical studies in recent years, for example, [1, 7, 17, 16, 20, 27, 28, 29, 36]. In [13], Guo, Li and Wei proved the existence of infinitely many positive non-radial solutions of the coupled elliptic system. Also, Chen, Medina and Pistoia [4] consider the segregated solutions for a critical elliptic system with a small interspecies repulsive force in . More recently, Del Pino, Musso Pacard and Pistoia [9, 10] constructed sequences of sign-changing solutions with large energy and concentrating along some special sub-manifold of . However, so far, the existing results of using the Lyapunov-Schmidt reduction argument to construct concentrated solutions of an elliptic system have been basically about low dimensional cases with , such as [5, 4, 13, 25, 24, 31], etc. Especially in [21], Peng, Peng and Wang consider the Dirichlet problem with Sobolev critical exponent
(1.4) |
where and or is a smooth bounded domain in . They obtain a uniqueness result on the least energy solutions and show that a manifold of the synchronized type of positive solutions is non-degenerate for the above system for some ranges of the parameters .
Motivated by [12, 23], in this paper, we mainly want to study the existence of infinitely many solutions of system (1.1) with weaker symmetry of potentials. We would like to point out that very recently in [12] using the finite dimensional reduction method obtained infinitely many non-radial solutions for system (1.1) with radial potentials. Also, about the single critical Schrodinger equation involving with a potential linear term, there are some existence of solutions for it, one can refer [6, 11, 30], in particular, in [23] Peng, Wang and Yan first applied the finite dimensional reduction combining the local Pohozaev identities obtained infinitely many solutions of (1.1).
In this paper, we assume that satisfy the following assumptions:
-
The function have a common critical point such that and and ;
-
;
-
satisfies
where satisfies
(1.5) |
Our main result in this paper can be stated as follows.
Theorem 1.1.
Suppose and are bounded and belong to . If satisfies and , then problem (1.1) has infinitely many non-radial positive solutions whose energy can be made arbitrarily large.
Remark 1.2.
It is worth noting that in the higher dimensional space with , the exponent from the worse couple terms will create a great trouble for us to apply the perturbation argument directly. To overcome this difficulty, we should ensure that the error term can be controlled by a small multiple of the approximate solution (see Lemma A.6).
Remark 1.3.
We would like to point out that the weaker symmetry conditions of and make us not estimate directly the corresponding derivatives of the reduced functional in locating the concentration points of the solutions, we employ some local Pohozaev identities to locate them. Moreover, compared with [12], the system we consider here involving a linear term which causes the problem more difficult.
Remark 1.4.
The non-radial vector solutions of separated type for system (1.1) is also very important but more challenging and we will consider this topic in a future work.
It is well known that the only solutions of the problem
are of the form
Moreover, by [21], then dimensional manifold
is a non-degenerate solution of the following equations
(1.6) |
where satisfies that and satisfies (1.5).
Let . We define
For any large integer , let
where is the zero vector in .
Let is a small constant, such that
(1.7) |
To deal with the slow decay of this function when is not big, we need to cut off this function. Let be a smooth function satisfying if ; if and . Denote
In this paper, we always assume that is a large integer, for some constant . We will prove Theorem 1.1 by verifying the following result.
Theorem 1.5.
Before we close this section, let us explain the main ideas in the proof of Theorem 1.5. We will use a finite reduction argument in the proof. To deal with the large number of bubbles in the solution, similar as [34, 35], the reduction procedure is carried out in a weighted space instead of the standard Sobolev space. Since the critical points including the saddle points of the potentials, which makes us not estimate directly the corresponding derivatives of the reduced functional in locating the concentration points of the solutions, motivated by [23] we employ some local Pohozaev identities to locate them.
This paper is organized as follows. In section 2, we carry out the reduction procedure with weighted maximum norm to a finite dimensional setting. In section 3, we solve the corresponding finite dimensional probem and prove the main result Theorem 1.1. Some delicate estimates and tools are put in the appendix.
2. Finite-dimensional reduction
In this section, we perform a finite-dimensional reduction. For simplicity, we write . Set
and
where .
We also denote that and
Let
First we consider the linear problem
(2.1) |
for some number , where ,
(2.2) | ||||
(2.3) |
with
Lemma 2.1.
Assume that solves (2.1). If goes to zero as goes to infinity, so does .
Proof.
By contradiction, we assume that there exist , , , some solving (2.1), with and . We may assume that . For simplicity, we drop the subscript and write (2.1) as
(2.4) |
and
(2.5) |
We are sufficed to deal with (2), since for (2), one can obtain similar estimates just in the same way. From Lemma A.5, we first get that
(2.6) | ||||
(2.7) |
Recalling that , we obtain also
(2.8) |
Moreover, from Lemma A.4, there hold
(2.9) |
and
(2.10) |
where , .
As a result of Lemma 2.1, applying the same argument as in the proof of proposition 4.1 in [8]. We can prove the following Proposition.
Proposition 2.2.
There exists and some constant , independent of , such that for all and all , the linear problem (2.1) has a unique solution . Moreover, there hold that
(2.19) |
Now we consider the nonlinear problem
(2.20) |
In this section, we are aimed to prove that
Proposition 2.3.
There exists and some constant , independent of , such that for all , , with is a fixed small constant, problem (2.20) has a unique solution such that
(2.21) |
where small enough.
Rewrite the nonlinear problem (2.20) as
(2.22) |
where the operator is defined in (2.2), and
(2.23) |
with
Denote
and
In the following, we will use the contraction mapping theorem to show that there exists a unique solution to problem (2.22) in the set that is small. In order to do this, we first estimate and , and, just as before, we may drop the subscript for convenience.
Lemma 2.4.
If , then for any satisfying there holds
where .
Proof.
By definition of in (2.23), observing that for the terms and , we just follow the estimates as in Lemma 2.4 of [35] to get that, for ,
Since for ,
combining Hölder inequalities, for , we obtain
(2.24) |
Next for the terms and in (2.23), it suffices to deal with , since the other one can be estimated in the same way.
Rewrite
(2.25) | ||||
(2.26) |
where
First for , we have
We estimate by Hölder inequalities,
Moreover, we have
Therefore, we get
For , we will deal with it by dividing into the following two cases. It follows from Lemma A.6 that Using the basic inequality
(2.27) |
we obtain if by using Hölder again,
(2.28) | ||||
(2.29) | ||||
(2.30) | ||||
(2.31) | ||||
(2.32) |
Also for and there holds where . Hence when we have
since
which means that
(2.33) |
Finally, for , we have
(2.34) |
Next, we estimate .
Lemma 2.5.
Then, there exists some small such that
(2.35) |
Proof.
We define
Recall by (2.23) that
(2.36) |
By symmetry, we might as well assume that , then . Therefore,
(2.37) |
By Lemma A.3, taking , we obtain that for any and , then
(2.38) |
We choose satisfying to obtain that
Next, as in [23], for , we can derive
(2.39) | ||||
(2.40) | ||||
(2.41) |
Hence (2.37)-(2.39) imply that
On the other hand, we obtain
(2.42) | ||||
(2.43) |
since if is small. Hence .
Now, we are ready to prove Proposition 2.3.
Proof of Proposition 2.3:.
Recall that . Let
Then we are sufficed to solve
with defined as in Proposition 2.2. We will prove that is a contraction map from to .
Next it is obvious
Recall the definition of (2.23). We first deal with by considering
It is easy to have
For the case , and , so we have
We can deal with and similarly.
Therefore, is a contraction map and it follows from the contraction mapping theorem that there exists a unique such that
Moreover, from Proposition 2.2 we get
∎
3. Proof of the main result
Let
where , is obtained in Proposition 2.3, and
In this section, we will choose suitable so that is a solution of (1.1). For this purpose, we need the following result.
Lemma 3.1.
Suppose that satisfies
(3.1) | ||||
(3.2) |
(3.3) | ||||
(3.4) |
and
(3.5) | ||||
(3.6) |
where , and with . Then .
Proof.
For any function , we have
(3.8) |
Using (3.8), we can prove that from (3.7) that
(3.9) |
holds for , and .
We have
So we have
(3.10) | ||||
(3.11) |
and
(3.12) | ||||
(3.13) |
Since
and
for some constants and , we find from (3.10)-(3.12)
Now, we have
for some constant . So . ∎
Lemma 3.2.
We have
(3.14) | ||||
(3.15) | ||||
(3.16) |
where and are integer.
Proof.
Next, we estimate (3.1) and (3.3). Let us point out that the left hand side of (3.3) is the local Pohozaev identities generating from translation. We integrate by parts to find that (3.1) is equivalent to
(3.29) |
since on .
On the other hand, we know that (3.1) is equivalent to
(3.30) | ||||
(3.31) | ||||
(3.32) |
From (2.20), we obtain
(3.33) | ||||
(3.34) |
and
(3.35) | ||||
(3.36) |
Using (3.30)-(3.35), we can get the following estimate for ,
(3.37) |
Noting
(3.38) |
we find from (3.37) and (3.38) that
(3.39) | ||||
(3.40) |
for some small .
Lemma 3.3.
It holds
Proof.
By the system, we prove
We have
(3.41) | ||||
(3.42) | ||||
(3.43) | ||||
(3.44) | ||||
(3.45) | ||||
(3.46) |
where is any fixed small constant. Similar as (3.41), for , we obtain
(3.47) |
Similar to the proof of (2.37), we can deduce
(3.48) | ||||
(3.49) | ||||
(3.50) |
Moreover, from the estimates of in Lemma A.5, we obtain
(3.51) | ||||
(3.52) |
Combining (3.41)-(3.51), we deduce
∎
Lemma 3.4.
For any function , it holds
Proof.
The proof is similar to Lemma 3.3 of [23], so we omit it. ∎
Lemma 3.5.
It holds
Proof.
Appendix A energy estimates and some known results
In this section, we mainly do some energy expansions and give some known results which are used before.
Lemma A.1.
If , then
where , and .
Proof.
We have
Direct calculations show
and
Then, we have
It is easy to check that
Similarly, we have
On the other hand, we have
for some constant .
In view of , we estimate
and
So, we obtain
where , and . ∎
Lemma A.2.
For each fixed and , we consider the following function
where and are two constants.
Lemma A.3.
([35], Lemma B.1) For any constants , there is a constant , such that
Lemma A.4.
([35], Lemma B.2) For any constant , there is a constant , such that
Lemma A.5.
([35], Lemma B.3) Suppose that , then there is a small constant , such that
Lemma A.6.
For any solution to problem (2.20) with , there must hold further that
Proof.
Since the proof is similar as Lemma of [12], we omit it. ∎
Acknowledgement: The authors would like to thank Professor Chunhua Wang for the helpful discussion with her. This paper is supported by NSFC(No. 12071169 and No.12471106).
References
- [1] A. Ambrosetti, E. Colorado, Bound and ground states of coupled nonlinear Schrödinger equations. C. R. Math. Acad. Sci. Paris, 342 (2006), 453-458.
- [2] T. Bartsch, N. Dancer, Z. Wang, A Liouville theorem, a-priori bounds, and bifurcating branches of positive solutions for a nonlinear elliptic system. Calc. Var. Partial Diff. Equ., 37 (2010), 345-361.
- [3] T. Bartsch, Z. Wang, Note on ground states of nonlinear Schrödinger systems. J. Part. Diff. Equ., 19 (2006), 200-207.
- [4] H. Chen, M. Medina, A. Pistoia, Segregated solutions for a critical elliptic system with a small interspecies repulsive force. arXiv:2203.10990.
- [5] H. Chen, A. Pistoia, G. Vaira, Segregated solutions for some non-linear Schrödinger systems with critical growth. arXiv:2206.09637.
- [6] W. Chen, J. Wei, S. Yan, Infinitely many positive solutions for the Schrödinger equations in with critical growth. J. Differ. Equ., 252 (2012), 2425-2447.
- [7] E. N. Dancer, J. Wei, T. Weth, A priori bounds versus multiple existence of positive solutions for a nonlinear Schrödiner system. Ann. Inst. H. Poincaré Anal. Non Linéaire, 27 (2010), 953-969.
- [8] M. delpino, P. Felmer, M. Musso, Two-bubble solutions in the supercritical Bahri-Coron’s problem. Calc. Var. Partial Diff. Equ., 16 (2003), 113-145.
- [9] M. delpino, M. Musso, F. Pacard, A.Pistoia, Large energy entire solutions for the Yamabe equation. J. Diff. Equ., 251 (2011), 2568-2597.
- [10] M. delpino, M. Musso, F. Pacard, A.Pistoia, Torus action on and sign changing solutions for conformally invariant equations. Ann.Super. Pisa Cl. Sci., 12 (2013), 209-237.
- [11] F. Du, Q. Hua, C. Wang, Q. Wang, Multi-piece of bubble solutions for a nonlinear critical elliptic equation. J. Diff. Equ., 393 (2024), 102-138.
- [12] Q. Guo, C. Wang, Q. Wang, Synchronized vector solutions for critical nonlinear elliptic systems in higher dimensions. Preprint.
- [13] Y. Guo, B. Li, J. Wei, Entire nonradial solutions for non-cooperative coupled elliptic system with critical exponents in . J. Diff. Equ., 256 (2014), 3463-3495.
- [14] Q. He, C. Wang, Q. Wang, New type of positive bubble solutions for a critical Schrödinger equation. The Journal of Geometric Analysis, 32 (2022), 278.
- [15] T. Li, J. Wei, Y. Wu, Infinitely many nonradail positive solutions for multi-species nonlinear Schrödinger system in . J. Diff. Equ., 381(2024), 340-396.
- [16] T. Lin, J. Wei, Spikes in two coupled nonlinear Schrödinger equations. Ann. Inst. H. Poincaré Anal. Non Linéaire, 22 (2005), 403-439.
- [17] T. Lin, J. Wei, Ground state of coupled nonlinear Schrödinger equations in , . Comm. Math. Phys., 255 (2005), 629-653.
- [18] T. C. Lin, J. Wei, Solitary and self-similar solutions of two-component systems of nonlinear Schrödinger equations. Physica D: Nonlinear Phenomena, 220 (2006), 99-115.
- [19] S. Liu, C. Wang, Q. Wang, On vector solutions of nonlinear Schrödinger systems with mixed potentials. J. Diff. Equ., 411 (2024), 506-530.
- [20] Z. Liu, Z. Wang, Multiple bound states and bound states of nonlinear Schrödinger systems. Comm. Math. Phys., 282 (2008), 721-731.
- [21] S. Peng, Y. Peng, Z. Wang, On elliptic systems with Sobolev critical growth. Calc. Var. Partial Differential Equations, 55 (2016), 142.
- [22] S. Peng, C. Wang, S. Wei, Constructing solutions for the prescribed scalar curvature problem via local Pohozaev identities. J. Differential Equations, 274 (2019), 2503-2530.
- [23] S. Peng, C. Wang, S. Yan, Construction of solutions via local Pohozaev identities. J. Funct. Anal., 274 (2018), 2606-2633.
- [24] S. Peng, Q. Wang, Z. Wang, On coupled nonlinear Schrödinger systems with mixed couplings. Transactions of the American Mathematical Society, (2019), 7559-7583.
- [25] S. Peng, Z. Wang, Segregated and synchronized vector solutions for nonlinear Schrödinger systems. Arch. Rational Mech. Anal., 208 (2013), 305-339.
- [26] A. Pistoia, G. Vaira, Segregated solutions for nonlinear Schrödinger systems with weak interspecies force. Comm. Partial Diff. Equ., 47(2022), 2146-2179.
- [27] B. Sirakov, Least energy solitary waves for a system of nonlinear Schrödinger equations in . Comm. Math. Phys., 271 (2007), 199-221.
- [28] S. Terracini, G. Verzini, Multipulse phase in k-mixtures of Bose-Einstein condenstates. Arch. Rational Mech. Anal., 194 (2009), 717-741.
- [29] R. Tian, Z. Wang, Multiple solitary wave solutions of nonlinear Schrödinger systems. Top Methods Nonlinear Anal., 37 (2011), 203-223.
- [30] C, Wang, Q. Wang, J. Yang, Existence and properties of bubbling solutions for a critical nonlinear elliptic equation. J. Fixed Point Theory Apply, 25 (2023), 56.
- [31] C. Wang, D. Xie, L. Zhan, L. Zhang, L. Zhao, Segregated vector solutions for nonlinear Schrödinger systems in . (English summary) Acta Math. Sci. Ser. B (Engl. Ed.), 35 (2015), 383-398.
- [32] Q. Wang, D. Ye, Infinitely many solutions with simulaeous synchronized and segregated components for nonlinear Schrödinger system. arXiv:2303.10324.
- [33] J. Wei, Y. Wu, Groud states of nonlinear Schrödinger systems with mixed couplings. Journal de Mathmatique Pures at Appliqus, 141 (2020), 50-88.
- [34] J. Wei, S. Yan, Infinitely many positive solutions for the nonlinear Schrödinger equations in . Calc. Var. Partial Differential Equations, 258 (2010), 423-439.
- [35] J. Wei, S. Yan, Infinitely many solutions for the prescribed scalar curvature problem on . J. Funct. Anal., 258 (2010), 3048-3081.
- [36] J. Wei, W. Yao, Uniqueness of positive solutions to some coupled nonlinear Schrödinger equations. Commun. Pure Appl. Anal., 11 (2012), 1003-1011.