Abstract
In this paper, we consider a fractional Nirenberg-type problem involving σ-exponent of the Laplacian on the standard n-dimensional spheres . Using an algebraic topological method and the theory of the critical points at infinity, we provide a variety of classes of functions that can be realized as the σ-curvature on n-dimensional sphere.
MSC: 35M30, 35Q74, 74A15, 74A60, 74M25.
Similar content being viewed by others
1 Introduction and main results
Let be the standard sphere of dimension n, and K be a positive function on . The classical Nirenberg problem is the following: can one change the original metric g conformally into a new metric with prescribed scalar curvature equal to K for (prescribed Gaussian curvature for ). This problem is equivalent to solving the following nonlinear elliptic equations:
where be the conformal Laplacian, is the Laplace-Beltrami operator, and is the scalar curvature associated to the metric g.
Recently, several studies have been performed for classical elliptic equations similar to (2) and (1) but with the fractional conformal Laplacians instead of the Laplacian. This operator is introduced first in [1] where Graham, Jenne, Mason, and Sparling constructed a sequence of conformally covariant elliptic operators , on Riemannian manifolds for all positive integers k if n is odd, and for if n is even. Moreover, is the well-known conformal Laplacian used in (2), and is the well-known Paneitz operator. Up to positive constants is the scalar curvature associated to g and is the Q-curvature. Prescribing scalar curvature and Q-curvature problems on was studied extensively in last years, see for example [2]–[10]; see also [11]–[19], and the references therein.
In [20], Chang and Gonzalez generalize the above construction, using the works of Graham-Zworski [21] and Caffarelli-Silvestre [22] for factional Laplacian on the Euclidean space , to define conformally invariant operators of non-integer order σ. These lead naturally to a fractional-order curvature , which will be called here σ-curvature. For the σ-curvatures on general manifolds we refer to [20], [21], [23], and references therein. Corresponding to the Yamabe problem, fractional Yamabe problems for σ-curvatures are studied in [23], [24], and [25] and fractional Yamabe flows on are studied in [26].
In this paper, we restrict our attention to the case . As in the Nirenberg problem associated to and , the question of prescribing -curvature can be formulated as a Nirenberg-type problem involving the square root of the Laplacian as follows: given a positive function K defined on , we ask whether there exists a metric conformally equivalent to g such that the -curvature is equal to K. This problem can be expressed as finding the solution of the following nonlinear equation with critical exponent,
where
, Γ is the gamma function and is the Laplace-Beltrami operator on . The operator can be seen more concretely on using stereographic projection. The stereographic projection from to is the inverse of defined by
where N is the north pole of . Then, for all , we have
where is the fractional Laplacian operator (see, e.g., p.117 of [27]).
A sufficient condition was found recently in [28] for the two dimensional sphere, it is an Euler-Hopf-type criterium, namely the authors proved the following existence result.
Theorem 1.1
[28]
Let K be a positive function satisfying the following (nd) condition:
(nd): Assume that K is a smooth function onhaving only non-degenerate critical points with
Let
If
then (3) has at least one solution. Here, is the Morse index of K at y.
A natural question which arises when looking to the above result is what happens if the total sum in () is equal to 1, but a partial one is not. Under which condition can one use this partial sum to derive an existence result? Our aim in the first part of this paper is to give a partial answer to this question and to prove new existence criterium which generalizes the index-count formula in () and recover the previous existence result obtained in [28]. To state our result, we set the following notations. We order the , . Without loss of generality, we assume that the elements of are with
Let k be an index, . We say that if it satisfies the following:
(): If there exists an index such that , we have
Now, we are ready to state our first main result.
Theorem 1.2
Let K be a positive function onand satisfying (nd) condition. If
then (3) has at least one solution. Moreover, for generic K we have
where S denotes the set of solutions of (3).
Observe that the index . It follows that the above mentioned result (Theorem 1.1) is a corollary of our theorem. Actually, we will give in Remark 3.1 a situation where Theorem 1.1 does not give a result, while by Theorem 1.2, we derive the existence of many solutions.
Second, we consider the case and K close to a constant, i.e. K of the from , where and small. In order to state our result, we need the following assumption. We say that an integer if it satisfies the following:
(): For any , we have .
We shall prove the following result.
Theorem 1.3
Assume thatis a Morse function on, and satisfying (nd) condition. If,
then, forsufficiently small, there exists a solution to the problem (3).
Observe that . We therefore have the following corollary.
Corollary 1.4
Letbe a Morse function with (nd) condition. If
then forsufficiently small, (3) has at least one solution.
The rest of this paper is organized as follows: we first recall some known facts about the variational structure of problem (3) and the associated critical points at infinity. In Section 3, we give the proofs of our main results and in Section 4, we give a more general result for and .
2 Preliminary results
2.1 The variational structure
First, we recall that is a solution of (3) if the identity
holds for all , where denotes the closure of under the norm
Observe also that for , we have . We associate to problem (3), the functional
defined in .
Motivated by the work of Caffarelli and Silvestre [22], several authors have considered an equivalent definition of the operator by means of an auxiliary variable; see [22] (see also [29]–[32], and [33]). In fact, we realize problem (3), through a localization method introduced by Caffarelli and Silvestre on the Euclidean space , through which (3) is connected to a degenerate elliptic differential equation in one dimension higher by a Dirichlet to Neumann map. This provides a good variational structure to the problem. By studying this problem with classical local techniques, we establish existence of positive solutions. Here the Sobolev trace embedding comes into play, and its critical exponent .
Namely, let . Given , we define its harmonic extension to as the solution to the problem
The extension belongs to the space defined as the completion of with the norm
Observe that this extension is an isometry in the sense that
Moreover, for any , we have the following trace inequality:
The relevance of the extension function is that it is related to the fractional Laplacian of the original function u through the formula
Thus, we can reformulate (3) as follows:
The functional associated to (13) is given by
defined in .
Notice that critical points of in correspond to critical points of I in . That is, if satisfies (13), then u will be a solution of problem (3).
Let also define the functional
defined on Σ the unit sphere of . We set, . Problem (3) will be reduced to finding the critical points of J subjected to the constraint . The exponent is critical for the Sobolev trace embedding . This embedding being continuous and not compact, the functional J does not satisfy the Palais-Smale condition, which leads to the failure of the standard critical point theory. This means that there exist sequences along which J is bounded, its gradient goes to zero and which do not converge. The analysis of sequences failing PS condition can be analyzed along the ideas introduced in [2] and [34]. In order to describe such a characterization in our case, we need to introduce some notations.
For and , define the function:
where , and is chosen such that satisfies the following equation:
Set
where i is an isometry from to ; the completion of , with respect to the Dirichlet norm.
For and , we define
where
If U is a function in , one can find an optimal representation, following the ideas introduced in [35], namely we have:
Lemma 2.1
For any, there issuch that ifand, then the minimization problem
has a unique solution. Thus, we can write U as follows:
where v belongs toand satisfies the following condition:
(V0):: for, and, , , whereanddenote the scalar product defined onby
The failure of the Palais-Smale condition can be characterized taking into account the uniqueness result of the corresponding problem at infinity; see e.g. Li-Zhu [36] following the ideas introduced in [34], [37] as follows.
Proposition 2.2
Assume that (3) has no solution and letbe a sequence satisfying, a positive number and. Then there exist an integer, a positive sequence () and an extracted subsequence of, again denotedsuch that.
Following Bahri [35], [38], we set the following definition and notation.
Definition 2.3
A critical point at infinity of J on is a limit of a flow line of the equation:
such that remains in for .
Using Lemma 2.1, can be written as
Denoting and , we denote by
such a critical point at infinity.
The following propositions characterize the critical points at infinity of the associated variational problem.
Proposition 2.4
Assume that. Under the (nd) condition, the only critical points at infinity of the functional J are:
Such a critical point at infinity has a Morse index equal to. Its level is, whereis the best constant of Sobolev.
Proof
See Corollary 4.4 of [28]. □
Arguing as in [28], we have the following.
Proposition 2.5
Assume thatand assume that J has no critical point in. Then the only critical points at infinity of J inare
The Morse index ofis equal to. Its level is. Hereis the best constant of Sobolev.
2.2 The unstable manifolds of critical points at infinity
At the beginning of this subsection, we give some basic definitions with will allow us to describe the unstable manifolds of the critical points at infinity in .
Definition 2.6
Let be a Morse function and let the set of critical points of K. If , let designate its stable manifold and designate its unstable manifold. We have
It is convenient to specify that the notations of stable or unstable manifolds, of flow lines, all are relative to the vector field , with respect to the standard Riemannian structure on . Recall the following generic hypothesis:
All stable and unstable manifolds intersect transversely and all such intersections are smooth regularly embedded submanifolds of .
Definition 2.7
Let . z is said to be dominated by y, if
then there exists (at least) a flow line of descending from y to z. Using the dimension argument and the fact that both of and are invariant under the action of the flow generated by , it is easy to see that
Definition 2.8
Let . In , the unstable manifold at infinity for the critical point at infinity , along the flow lines of is defined and identified by the unstable manifold of the critical point y of the function , along the flow lines of multiplied by a factor corresponding to the concentration λ. Precisely in , the have the following description:
where λ is a fixed constant large enough.
Remark 2.9
Observe that correspond to , the stable manifold of the critical point y along the flow lines of . Therefore it is easy to see that if , then behaves as .
The following lemma gives a sufficient condition to ensure that is included in .
Lemma 2.10
Let. If
Proof
It follows from [28]. The idea is that a flow line in cannot go out from unless the concentration point of the flow line nearby a critical point z of K with (see proof of Proposition 4.3 of [28]), therefore it is the case when the critical point y is dominated by . Hence under the condition of the lemma such a situation cannot occur, it follows that every flow line in is indeed in and we then conclude to the result of the lemma using Remark 2.9. □
3 Proof of results
This section is devoted to the proofs of the main results of this paper. Our proofs uses algebraic topological arguments and the tools of the theory of critical points at infinity; see [38]. In our case, the space of variation is contractible and has no topology. However, due to the non-compactness of the problem, there are critical points at infinity whose topological contribution can be computed; see [28]. The main idea is to use the difference of topology of the critical points at infinity between the level sets of the associated Euler-Lagrange functional J, and the main issue is under our conditions on K, there remains some difference of topology which is not due to the critical points at infinity but due to the existence of solution of (3).
3.1 Proof of Theorem 1.2
We denote by the elements of . We order the ’s, . Without loss of generality, we assume that
Recall that, see Proposition 2.4, the critical points at infinity are in one to one correspondence with the elements of the sets . Like a usual critical point, it is associated to a critical point at infinity , stable and unstable manifolds, and . Let be an index such that
is achieved. Let
Since satisfies (), we can find satisfying the following:
For any such that , we have
Therefore the only critical points at infinity under the level are:
Let
Given , we set
We claim that
Indeed, let
where is the stable manifold of along the flow lines of . Observe that for any , we have , thus from (16), y cannot be dominated through the flow lines of only by critical points of K such that , thus it satisfies . Therefore we obtain
Using now Lemma 2.10, we derive that
More precisely,
where λ is a fixed constant large enough and is the best constant of Sobolev.
Now, let
U is continuous and satisfies , and , a fixed point of . Furthermore, arguing as in [3], we derive that
for each . Here tends to zero when λ tends to +∞. Taking λ large enough, since we have , we get
Therefore the contraction U is performed under the level and is then contractible in . Hence claim (17) follows. Let
Now, we use the gradient flow of to deform . Since and the only critical points at infinity of J in are , , by using a deformation lemma, see Proposition 7.24 and Theorem 8.2 of [39], we get
where w is a solution of (3) dominated by . Here ≃ denotes retracts by deformation.
Now observe that it follows from the above deformation retract that problem (3) has necessarily a solution. Otherwise it follows from (18) that
Let M be a cw complex in dimension k, it is well known (see [40]) that the Euler-Poincaré characteristic of M, is given by the following:
where is the number of cells of dimension r in M. We apply this to our situation. By construction is a finite cw complex, where the cells of dimension an integer r in are given by the unstable manifolds of the critical points at infinity such that . According to (20), we derive that
From another part, it is easy to see that , since is a contractible set. Thus, we derive from (19), taking the Euler characteristic of both sides that
Such an equality contradicts the assumption of Theorem 1.2.
Now, for generic K, it follows from the Sard-Smale theorem that all solutions of (3) are non-degenerate solutions; see [10]. We apply the Euler-Poincaré characteristic argument, we derive from (18) that
where denotes the Morse index of the solution w. It follows then that
where S denotes the set of solutions of (3).
Remark 3.1
Here, we want to consider some situation where the result of [28] does not give solution to problem (3), but using Theorem 1.2 we derive that problem (3) admits a solution. For this, let be a positive Morse function satisfying the (nd) condition such that is reduced to 3 points , and with . is the absolute maximum of K, so . Assume also that and
It is easy to see that
However, we have
so by Theorem 1.2 we derive the existence of a solution of problem (3).
3.2 Proof of Theorem 1.3
Let , and be the associated variational problem. So, for , we have
Let us observe that in the case of the unit ball, in view of uniqueness result of Li and Zhu [36], a solution of (3) cannot be achieved as a minimum of , unless for . In this case, the functional possesses a n-dimensional manifold Z of critical points, given by
Let be the best constant of Sobolev associated to the Sobolev trace embedding , it is easy to see that for every , we have
Given , we set
and
We have the following lemma.
Lemma 3.2
Let, forsufficiently small, we have
Proof
Let , we have
Using the fact that is bounded on , we derive that
where is independent of u, tends to zero when ε tends to zero. Hence the lemma follows. □
Now let a critical point at infinity of q-masses. It is easy to see that the level of at goes to , when ε tends to zero. Since
Now, let , we can therefore assume that is so small that all the critical points at infinity of of two masses or more are above the level , and the critical points at infinity of one mass are below . Therefore,
Arguing by contradiction and assume that (3) has no solution. It follows from (21) that
where ≃ denotes retracts by deformation. Using Lemma 3.2, we derive that
Now we claim that
Indeed, from (23), it is sufficient to prove that contractible set.
Let , we solve
Let be the solution for . Using the results of [38], concerning the Yamabe functional on , which is similar to our function , we know that the Palais-Smale condition is satisfied for the above differential equation, up to . When s tends to +∞, converges to a single mass in Z, thus
We drive then that is contractible since Z is a contractible set. Hence our claim follows.
Now let be the integer where the
is achieved. Here is the Morse index of . Let
is a stratified set of dimension at most in , without loss of generality we can assume that is of dimension . Observe that is contractible in , since is a contractible set. More precisely there exists
where , h is continuous and a fixed point in .
Let . is a contractible stratified set of dimension . Now, we use the gradient flow of to deform . By transversally arguments we can assume that the deformation avoids all critical points at infinity having their Morse indices greater or equal to . Using the fact that , we get
Since satisfying (), there are no critical point at infinity , of index , we therefore have
Thus, we derive from (27), taking the Euler characteristic of both sides that
Such equality contradicts the assumption of Theorem 1.3. This completes the proof of Theorem 1.3.
4 A general existence result
In the last part of this paper, we give a generalization of Theorem 1.2. Namely instead of assuming that and , we assume that and . Following the same scheme as Theorem 1.2, we state here an existence result to the following problem:
where
, Γ is the gamma function and is the Laplace-Beltrami operator on . We are now ready to state the following existence result.
Theorem 4.1
Let, be a positive function satisfying (nd) condition withand. If
then (28) has at least one solution. Here, . Moreover, for generic K we have
where S denotes the set of solutions of (28).
Proof
The proof goes along with the proof of Theorem 1.2, therefore we will only sketch the differences. Keeping the notation of the proof of Theorem 1.2 and regarding the expansion of the functional J, we observe that the strong interaction of the bubbles in dimensions forces all blow up points to be single. Thus, the only critical points at infinity associated to problem (28) correspond to
The Morse index of such critical point at infinity is: . Now the remainder of the proof is identical to the proof of Theorem 1.2. □
References
Graham C, Jenne R, Mason LJ, Sparling GAJ: Conformally invariant powers of the Laplacian. I. Existence. J. Lond. Math. Soc. 1992, 46: 557-565. 10.1112/jlms/s2-46.3.557
Bahri A, Coron JM: The scalar curvature problem on the standard three dimensional spheres. J. Funct. Anal. 1991, 95: 106-172. 10.1016/0022-1236(91)90026-2
Ben Mahmoud R, Chtioui H:Existence results for the prescribed scalar curvature on . Ann. Inst. Fourier 2011, 61: 971-986. 10.5802/aif.2634
Ben Mahmoud R, Chtioui H: Prescribing the scalar curvature problem on higher-dimensional manifolds. Discrete Contin. Dyn. Syst. 2012, 32: 1857-1879. 10.3934/dcds.2012.32.1857
Chang S-YA, Gursky MJ, Yang PC: The scalar curvature equation on 2 and 3 spheres. Calc. Var. 1993, 1: 205-229. 10.1007/BF01191617
Chen CC, Lin CS:Prescribing the scalar curvature on . I. A priori estimates. J. Differ. Geom. 2001, 57: 67-171.
Chtioui H: Prescribing the scalar curvature problem on three and four manifolds. Adv. Nonlinear Stud. 2003, 3: 457-470.
Chtioui H, Ben Mahmoud R, Abuzaid DA: Conformal transformation of metrics on the n -sphere. Nonlinear Anal. TMA 2013, 82: 66-81. 10.1016/j.na.2013.01.003
Li Y:Prescribing scalar curvature on and related topics. Part I. J. Differ. Equ. 1995, 120: 319-410. 10.1006/jdeq.1995.1115
Schoen R, Zhang D: Prescribed scalar curvature on the n -sphere. Calc. Var. Partial Differ. Equ. 1996, 4: 1-25. 10.1007/BF01322307
Abdelhedi W, Chtioui H: On the prescribed Paneitz curvature problem on the standard spheres. Adv. Nonlinear Stud. 2006, 6: 511-528.
Abdelhedi W: On a fourth-order elliptic equation involving the critical Sobolev exponent: the effect of the graph topology. Nonlinear Anal. TMA 2013, 82: 82-99. 10.1016/j.na.2013.01.002
Al-Ghamdi MA, Chtioui H, Rigane A: Existence of conformal metrics with prescribed Q -curvature. Abstr. Appl. Anal. 2013., 2013: 10.1155/2013/568245
Bensouf A, Chtioui H: Conformal metrics with prescribed Q -curvature on . Calc. Var. Partial Differ. Equ. 2011, 41: 455-481. 10.1007/s00526-010-0372-9
Chtioui H, Rigan A: On the prescribed Q -curvature problem on . J. Funct. Anal. 2011, 261: 2999-3043. 10.1016/j.jfa.2011.07.017
Djadli Z, Hebey E, Ledoux M: Paneitz-type operators and applications. Duke Math. J. 2000, 104: 129-169. 10.1215/S0012-7094-00-10416-4
Djadli Z, Malchiodi A, Ahmedou MO: Prescribing a fourth order conformal invariant on the standard sphere. Part I: a perturbation result. Commun. Contemp. Math. 2002, 4: 375-408. 10.1142/S0219199702000695
Djadli Z, Malchiodi A, Ahmedou MO: Prescribing a fourth order conformal invariant on the standard sphere. Part II: blow up analysis and applications. Ann. Sc. Norm. Super. Pisa 2002, 5: 387-434.
Wei J, Xu X: Prescribing Q -curvature problem on . J. Funct. Anal. 2009, 257: 1995-2023. 10.1016/j.jfa.2009.06.024
Chang S-YA, Gonzalez M: Fractional Laplacian in conformal geometry. Adv. Math. 2011, 226: 1410-1432. 10.1016/j.aim.2010.07.016
Graham CR, Zworski M: Scattering matrix in conformal geometry. Invent. Math. 2003, 152: 89-118. 10.1007/s00222-002-0268-1
Caffarelli L, Silvestre L: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 2007, 32: 1245-1260. 10.1080/03605300600987306
Gonzalez M, Qing J: Fractional conformal Laplacians and fractional Yamabe problems. Anal. PDE 2013, 6: 1535-1576. 10.2140/apde.2013.6.1535
Gonzalez M, Mazzeo R, Sire Y: Singular solutions of fractional order conformal Laplacians. J. Geom. Anal. 2012, 22: 845-863. 10.1007/s12220-011-9217-9
Qing J, Raske D: On positive solutions to semilinear conformally invariant equations on locally conformally flat manifolds. Int. Math. Res. Not. 2006., 2006:
Xiong, TJJ: A fractional Yamabe flow and some applications (in press). , [arXiv:1110.5664v1]
Stein EM: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton; 1970.
Abdelhedi W, Chtioui H: On a Nirenberg type problem involving the square root of the Laplacian. J. Funct. Anal. 2013, 265: 2937-2955. 10.1016/j.jfa.2013.08.005
Brandle C, Colorado E, de Pablo A, Sanchez U: A concave-convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 2013, 143: 39-71. 10.1017/S0308210511000175
Cabré X, Sire Y: Nonlinear equations for fractional Laplacians, I: regularity, maximum principles, and Hamiltonian estimates. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2011, 31: 23-53. 10.1016/j.anihpc.2013.02.001
Cabré X, Tan J: Positive solutions of nonlinear problems involving the square root of the Laplacian. Adv. Math. 2010, 224: 2052-2093. 10.1016/j.aim.2010.01.025
Capella A, Davila J, Dupaigne L, Sire Y: Regularity of radial extremal solutions for some non-local semilinear equations. Commun. Partial Differ. Equ. 2011, 8: 1353-1384. 10.1080/03605302.2011.562954
Stinga PR, Torrea JL: Extension problem and Harnack’s inequality for some fractional operators. Commun. Partial Differ. Equ. 2010, 35: 2092-2122. 10.1080/03605301003735680
Stuwe M: A global compactness result for elliptic boundary value problem involving limiting nonlinearities. Math. Z. 1984, 187: 511-517. 10.1007/BF01174186
Bahri A: An invariant for Yamabe-type flows with applications to scalar curvature problems in high dimensions. Duke Math. J. 1996, 81: 323-466. A celebration of J.F. Nash Jr. 10.1215/S0012-7094-96-08116-8
Li Y, Zhu M: Uniqueness theorems through the method of moving spheres. Duke Math. J. 1995, 80: 383-417. 10.1215/S0012-7094-95-08016-8
Brezis H, Coron JM: Convergence of solutions of H -systems or how to blow bubbles. Arch. Ration. Mech. Anal. 1985, 89: 21-56. 10.1007/BF00281744
Bahri A: Critical Point at Infinity in Some Variational Problems. 1989.
Bahri A, Rabinowitz P: Periodic orbits of Hamiltonian systems of three body type. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1991, 8: 561-649.
Hatcher A: Algebraic Topology. Cambridge University Press, Cambridge; 2002.
Acknowledgements
We express our gratitude to the referees for their valuable criticisms of the manuscript and for helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Al-Ghamdi, M.A., Abdelhedi, W. & Chtioui, H. Topological arguments for an elliptic equation involving the fractional Laplacian. Bound Value Probl 2014, 187 (2014). https://doi.org/10.1186/s13661-014-0187-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0187-2