- Research
- Open access
- Published:
Existence and nonexistence of solutions for an approximation of the Paneitz problem on spheres
Boundary Value Problems volume 2023, Article number: 103 (2023)
Abstract
This paper is devoted to studying the nonlinear problem with slightly subcritical and supercritical exponents \((S_{\pm \varepsilon}): \Delta ^{2}u-c_{n}\Delta u+d_{n}u = Ku^{ \frac{n+4}{n-4}\pm \varepsilon}\), \(u>0\) on \(S^{n}\), where \(n\geq 5\), ε is a small positive parameter and K is a smooth positive function on \(S^{n}\). We construct some solutions of \((S_{-\varepsilon})\) that blow up at one critical point of K. However, we prove also a nonexistence result of single-peaked solutions for the supercritical equation \((S_{+\varepsilon})\).
1 Introduction
Recently, there has been considerable interest in equations involving the biharmonic operator \(\Delta ^{2}\). A particular feature of the biharmonic operator is that it is conformally invariant. In this work, we are interested in the generalization of the Paneitz operator [15] to higher dimensions, which was discovered by Branson [7]. More precisely, let \((M, g)\) be a smooth compact Riemannian n-manifol, \(n\geq 5\), \(S_{g}\) be the scalar curvature of g, and \(Ric_{g}\) be the Ricci curvature of g. The Paneitz–Branson operator is defined by
where
If \(\widetilde{g}=u^{4/(n-4)}g\) is a metric conformal to g, then for all \(\varphi \in C^{\infty}(M)\) one has
and
Regarding this equation, it is normal to consider the problem of prescribing the Paneitz curvature, that is: given a function \(K : M\rightarrow \mathbb{R}\) does there exist a metric g̃ conformally equivalent to g such that \(Q^{n}_{\widetilde{g}}=K\)? This problem is equivalent to finding a smooth solution of the following equation,
In the case of the standard sphere \((S^{n}, g)\), \(n \geq 5\). Thus, we are reduced to finding a positive solution u of the problem
where \(c_{n}=\frac{1}{2}(n^{2}-2n-4)\), \(d_{n}=\frac{n-4}{16}n(n^{2}-4)\), and K is a given positive function defined on \(S^{n}\).
In the last decades, many interesting works have been devoted to study problem (1.3). In [6, 8, 9], the authors treated the lower-dimensional case (\(n = 5, 6\)). In [10], Felli proved a perturbative theorem and some existence results under the assumptions of symmetry.
The special nature of problem (1.3) appears when we consider it from a variational viewpoint. Indeed, the Euler–Lagrange functional associated to (1.3) does not satisfy the Palais–Smale condition, that is, there exist noncompact sequences along which the functional is bounded and its gradient goes to zero. This fact is due to the presence of the critical exponent. Hence, for the study of problem (1.3), it is interesting to approach it by the following family of subcritical and supercritical problems:
and we need to study the asymptotic behavior of the solutions \((u_{\varepsilon})\) as \(\varepsilon \to 0\) (if they exist). Observe that, for \(\varepsilon >0\), problem \((S_{-\varepsilon})\) always has a positive solution \((u_{\varepsilon})\). In [13], the author proved some existence and nonexistence results of solutions that blow up at one point for a subcritical and supercritical approximation of a harmonic equation in the unit ball in \(\mathbb{R}^{n}\).
In the present paper, we aim to give sufficient conditions on the function K such that both subcritical and supercritical approximations (\(S_{ \pm \varepsilon}\)) admit or do not admit a positive solution. Our approach follows the ideas introduced first by Bahri, Li, and Rey [4] when they studied an approximation problem of the Yamabe type on domains. This idea has been used by many authors to construct some solutions for different problems. Since our problem is different from the problem studied in [4], we will take account of the new estimates in order to use this method.
To state our main results, we need to introduce some notations.
For \(K \equiv 1\), the solutions of (1.3) form a family \(\widetilde{\delta}_{(a,\lambda )}\) defined by
where \(a\in S^{n}\), \(\lambda >0\) and \(\gamma _{n}= ((n-4)(n-2)n(n+2) )^{(n-4)/8}\).
After performing a stereographic projection π with the point −a as a pole, the function \(\widetilde{\delta}_{(a,\lambda )}\) is transformed into
which is a solution of the problem (see [11])
Note that we will use the stereographic projection to collect some technical estimates of the different integral quantities that occur in the paper (see [3]).
The space \(H^{2}_{2}(S^{n})\) is equipped with the norm:
Our first result deals with construction of single-peaked solutions for the subcritical approximation of the problem \((S_{-\varepsilon})\) with \(\varepsilon >0\). More precisely, we have
Theorem 1.1
Assume that y is a nondegenerate critical point of K satisfying \(\Delta K(y)< 0\). Then, there exists \(\varepsilon _{0}>0\) such that for each \(\varepsilon \in (0,\varepsilon _{0})\), the problem \((S_{-\varepsilon} )\) has a solution \((u_{\varepsilon})\) of the form
where
In the second result, we give a sufficient condition on the function K to ensure the nonexistence of single-peaked solutions of \((S_{-\varepsilon})\) with \(\varepsilon >0\).
Theorem 1.2
Let y be a nondegenerate critical point of K with \(\Delta K(y)> 0\). Then, there exists \(\varepsilon _{0}>0\) such that for each \(\varepsilon \in (0,\varepsilon _{0})\), problem \((S_{-\varepsilon})\) has no solution \((u_{\varepsilon})\) of the form (1.5) satisfying (1.6).
In view of the above results, a natural question arises: are equivalent results true for slightly supercritical exponents? The aim of the next result is to answer this question. In [14] and [12], the author proved some nonexistence results of sign-changing solutions for a biharmonic equation involving slightly supercritical exponents in a bounded domain of \(\mathbb{R}^{n}\). Note that, in the supercritical case, problem \((S_{+\varepsilon})\) becomes more delicate since we lose the Sobolev embedding that is an important point to overcome.
In contrast to the subcritical case, we have the following nonexistence result for the supercritical problem.
Theorem 1.3
Let y be a nondegenerate critical point of K with \(\Delta K(y)<0\). Then, there exists \(\varepsilon _{0}>0\) such that for each \(\varepsilon \in (0,\varepsilon _{0})\), problem \((S_{+\varepsilon})\) has no solution \((u_{\varepsilon})\) of the form (1.5) satisfying (1.6) and \(|u_{\varepsilon}|_{\infty}^{\varepsilon}\) is bounded.
Remark 1.4
For the subcritical problem \((S_{-\varepsilon})\), the assumption that \(|u_{\varepsilon}|_{\infty}^{\varepsilon}\) is bounded is always satisfied. To remove it in the supercritical case we should adapt the proof established in [5] when the author studied a supercritical problem in a bounded domain of \(\mathbb{R}^{n}\), but it is too technical to discuss this in the present paper. Note that this assumption allows us to recover the Sobolev embedding.
The present paper is organized as follows. In Sect. 2, we set up the variational structure and recall some known facts. In Sect. 3, we provide the proof of Theorem 1.1, while Sects. 4 and 5 are devoted to the proofs of Theorem 1.2 and Theorem 1.3, respectively.
2 Variational structure and some known facts
In this section we recall the functional setting and its main features in the subcritical case. For \(\varepsilon > 0\), we define the functional
The positive critical points of \(I_{\varepsilon}\) are solutions of \((S_{-\varepsilon})\).
First, we give the following remark that is established by [16] when \(S^{n}\) is replaced by a bounded domain of \(\mathbb{R}^{3}\).
Remark 2.1
Let \(\widetilde{\delta}_{(a,\lambda )}\) be the function defined in (1.4). Assume that \(\varepsilon \log \lambda \) is small enough. For \(\varepsilon >0\), we have
Now, we collect some expansions of the gradient of the functional \(I_{\varepsilon}\) associated with the problem \((S_{-\varepsilon})\) that will be needed in Sect. 3. Explicit computations, by Remark 2.1, yield the following propositions. For the sake of simplicity, we will write δ̃ instead of \(\widetilde{\delta}_{(x,\lambda )}\).
Proposition 2.2
For \(u=\alpha \widetilde{\delta}_{(x,\lambda )}+v\) with \(v \in E_{(x,\lambda )}\), we have
where \(S_{n}=\int _{\mathbb{R}^{n}}\delta _{(0,1)}^{\frac{2n}{n-4}}\).
Proof
We have
A computation similar to the one performed in [2] shows that
For the integral, we write
Expanding of K around x, we obtain
Combining (2.2)–(2.5), we easily derive our proposition. □
Proposition 2.3
For \(u=\alpha \widetilde{\delta}_{(x,\lambda )}+v\) with \(v \in E_{(x,\lambda )}\), we have the following expansion:
where
Proof
Observe that (see [2])
and
Combining (2.2), (2.6), and (2.7), we derive our proposition. □
Proposition 2.4
For \(u=\alpha \widetilde{\delta}_{(x,\lambda )}+v\), with \(v \in E_{(x,\lambda )}\), we have
Proof
An easy computation shows
and
3 Proof of Theorem 1.1
Let
where \(\nu _{0}\) is a small positive constant. Let us define the function by
As in [4], using the Euler–Lagrange coefficients, we easily obtain the following proposition.
Proposition 3.1
Let \(m=(\alpha ,\lambda ,x,v)\in M_{\varepsilon ,1}\). m be a critical point of \(\Psi _{\varepsilon ,1}\) if and only if \(u=\alpha \widetilde{\delta}+v\) is a critical point of \(I_{\varepsilon}\), i.e., if and only if there exists \((A,B,C )\in \mathbb{R}\times \mathbb{R}\times \mathbb{R}^{n}\) such that the following hold:
The results of Theorem 1.1 will be obtained through a careful analysis of (3.2)–(3.5) on \(M_{\varepsilon ,1}\). As usual in this type of problem, we first deal with the v-part of u, in order to show that it is negligible with respect to the concentration phenomenon. The study of \((E_{v})\) yields.
Proposition 3.2
There exists a smooth map that to any \((\varepsilon ,\alpha ,\lambda ,x)\) such that \((\alpha ,\lambda ,x,0)\) in \(M_{\varepsilon ,1}\) associates \(\overline{v} \in E_{(x,\lambda )}\) such that \(\|v\|<\nu _{0}\) and \((E_{v})\) is satisfied for some \((A,B,C )\in \mathbb{R}\times \mathbb{R}\times \mathbb{R}^{n}\). Such a v̅ is unique, minimizes \(\Psi _{\varepsilon ,1}(\alpha ,\lambda ,x,v)\) with respect to v in \(\{v\in E_{(x,\lambda )}/\|v\|<\nu _{0}\}\), and we have the following estimate
Proof
Expanding \(I_{\varepsilon}\) with respect to \(v\in E_{(x,\lambda )}\), we obtain
where \(Q(.,.)\) is a quadratic positive-definite form, \(f(.)\) is a linear form, and \(R(v)\) satisfies \(R(v)=o(\|v\|^{2})\), \(R'(v)=o(\|v\|)\), and \(R''(v)=o(1)\).
Since \(Q(v,v)\) is positive-definite, we derive that the following problem
is achieved by a unique function v̅ that satisfies \(\|\overline{v}\|\leq c\|f\|\). Now, following [6] we obtain the estimate (3.6). Since v̅ is orthogonal to the functions \(\{\widetilde{\delta}, \partial \widetilde{\delta}/\partial \lambda , \partial \widetilde{\delta}/\partial x^{j}, j\leq n \}\), there exist A, B, and C such that
The proposition follows. □
Proof of Theorem 1.1
Once v̅ is defined by Proposition 3.2, we estimate the corresponding numbers A, B, C by taking the scalar product in \(H^{2}_{2}(S^{n})\) of \((E_{v})\) with δ̃, \({\partial \widetilde{\delta}}/{\partial \lambda}\), \({\partial \widetilde{\delta}}/{\partial x}\) and \({\partial \widetilde{\delta}}/{\partial x}\), respectively. Thus, we obtain a quasidiagonal system whose coefficients are given by
where \(\Gamma _{1}\), \(\Gamma _{2}\) are positive constants. The other side is given by
Using Proposition 2.2, some computations yield
where \(\beta =\alpha -1/K(y)^{\frac{n-4}{8}}\) and \(V_{\alpha}\) is a smooth function that satisfies
Now, using Proposition 2.3, we obtain
where \(c_{2}\) and \(c_{3}\) are defined in Propositions 2.3 and 2.4, and \(V_{\lambda}\) is a smooth function satisfying
Lastly, using Proposition 2.4, we have
where \(V_{x}\) is a smooth function such that
Note that these estimates imply
The solution of the system in A, B, and C shows that
This allows us to evaluate the right-hand sides in the equations \((E_{\lambda})\) and \((E_{x})\), namely
where we have used the following estimates
Now,we set
where \(\zeta \in \mathbb{R}\), \(\xi \in \mathbb{R}^{n}\) are assumed to be small and \(\Lambda =\Lambda (y)\) verifies
With these changes of variables and using (3.11), (\(E_{\alpha}\)) is equivalent to
Now, using (3.13), we show by an easy computation
This implies that \((E_{\lambda})\) is equivalent, on account of (3.14) and (3.17), to
Lastly, using (3.15), (3.16), and (3.18), we see that \((E_{x})\) is equivalent to
We remark that \(V_{\alpha}\), \(V_{\lambda}\), and \(V_{x}\) are smooth functions. This system may be written as
where L is a fixed linear operator on \(\mathbb{R}^{n+1}\) defined by (3.20) and (3.21) and V, W are smooth functions satisfying
Moreover, a simple computation shows that the determinant of L is not equal to zero. Hence, L is invertible, and Brouwer’s fixed-point theorem shows that (3.22) has a solution \((\beta _{\varepsilon},\zeta _{\varepsilon},\xi _{\varepsilon})\) for ε small enough, such that
Hence, we have constructed \(m_{\varepsilon}= (\alpha _{\varepsilon}, \lambda _{\varepsilon},x_{ \varepsilon})\) such that \(u_{\varepsilon }:= \alpha _{\varepsilon }\widetilde{\delta}_{(x_{ \varepsilon},\lambda _{\varepsilon})}+\overline{v}_{\varepsilon}\), satisfies (3.2)–(3.6). Therefore, by Proposition 3.1, \(u_{\varepsilon}\) is a critical point of \(I_{\varepsilon}\), i.e., \(u_{\varepsilon}\) is a solution of (\(S_{-\varepsilon}\)). Hence, the proof of Theorem 1.1 is thereby completed. □
4 Proof of Theorem 1.2
The proof of Theorem 1.2 will, by contradiction, suppose that the subcritical problem \((S_{-\varepsilon})\) has a solution of the form (1.5) and satisfying (1.6).
First, we show that \(\lambda _{\varepsilon}^{\varepsilon}\to 1\) as \(\varepsilon \to 0\). For this, multiplying \((S_{-\varepsilon})\) by \(\tilde{\delta}_{(x_{\varepsilon},\lambda _{\varepsilon})}\) and integrating over \(S^{n}\), we obtain
From (2.3) and (2.5) we derive
where \(o(1)\to 0\) as \(\varepsilon \to 0\). Since \(\alpha _{\varepsilon}\to K(y)^{8/(n-4)}\) and \(x_{\varepsilon}\to y\) as \(\varepsilon \to 0\), we deduce from (4.2) that \(\lambda _{\varepsilon}^{\varepsilon}\to 1\) as \(\varepsilon \to 0\).
Secondly, we find the estimation of \(v_{\varepsilon}\). Multiplying \((S_{-\varepsilon})\) by \(v_{\varepsilon}\) and integrating, we have
According to [1], there exists a \(\rho >0\), such that
For the other term, expanding the function K around \(x_{\varepsilon}\) and using Holder’s inequality, we obtain
Combining (4.3) and (4.4), we obtain
We turn now to the proof of the theorem, multiplying \((S_{-\varepsilon})\) by \(\lambda _{\varepsilon}\partial \tilde{\delta}/\partial \lambda _{ \varepsilon}\) and integrating, we derive
Arguing as in the proof of Proposition 2.3, we easily arrive at:
where we have used the previous estimate of \(v_{\varepsilon}\) and the fact that \(\lambda _{\varepsilon}^{\varepsilon}\to 1\), \(\alpha _{\varepsilon}\to K(y)^{8/(n-2)}\). Thus,
which is a contradiction with the assumption of Theorem 1.2.
5 Proof of Theorem 1.3
Arguing by contradiction, suppose that \((S_{+\varepsilon})\) has a solution as stated in Theorem 1.3. We start by showing that \(\lambda _{\varepsilon}^{\varepsilon}\to 1\) as \(\varepsilon \to 0\). Indeed, multiplying \((S_{+\varepsilon})\) by \(\tilde{\delta}_{(x_{\varepsilon},\lambda _{\varepsilon})}\) and integrating over \(S^{n}\), we obtain
As in (2.5), we have
Consequently, by (2.3) and (5.2), we obtain
where \(o(1)\to 0\) as \(\varepsilon \to 0\). Since \(\alpha _{\varepsilon}\to K(y)^{8/(n-4)}\) and \(x_{\varepsilon}\to y\) as \(\varepsilon \to 0\), we deduce from (5.3) that \(\lambda _{\varepsilon}^{\varepsilon (n-4)/2}\to 1\) as \(\varepsilon \to 0\).
Remark 5.1
We remark that:
(i) Since \(\lambda _{\varepsilon }^{\varepsilon }\to 1\) as \(\varepsilon \to 0\) it is easy to derive that \(\varepsilon \log (1+\lambda _{\varepsilon }^{2} |x-x_{\varepsilon}|^{2})\) tends to 0 as \(\varepsilon \to 0\) and therefore we obtain:
(ii) We also point out that it follows from the assumption that \(|u_{\varepsilon}|_{\infty}^{\varepsilon}\) is bounded and \(\lambda _{\varepsilon }^{\varepsilon }\to 1\) as \(\varepsilon \to 0\) that \(|v_{\varepsilon}|_{\infty}^{\varepsilon}\) is bounded – a fact that is used in the proof of Lemma 5.2.
Next, we are going to estimate the \(v_{\varepsilon}\)-part of \(u_{\varepsilon}\) in order to show that it is negligible with respect to the concentration phenomenon. Namely, we have the following estimate.
Lemma 5.2
The function \(v_{\varepsilon}\) defined in (1.5), satisfies the following estimate
Proof
Multiplying \((S_{+\varepsilon})\) by \(v_{\varepsilon}\) and integrating, we obtain
therefore
Observe that
Since \(\alpha _{\varepsilon}\to K(y)^{8/(n-4)}\), \(x_{\varepsilon}\to y\), and \(\lambda _{\varepsilon}^{\varepsilon (n-4)/2}\to 1\) as \(\varepsilon \to 0\), it follows from [1] that there exists a positive constant \(\rho >0\) independent of ε, such that
Also as in (4.4), we have
Combining (5.5), (5.7), and (5.8), we obtain the estimate (5.4).
Now, we turn to the proof of Theorem 1.3. Multiplying \((S_{+\varepsilon})\) by \(\lambda _{\varepsilon}\partial \tilde{\delta}/\partial \lambda _{ \varepsilon}\) and integrating over \(S^{n}\), we derive
Arguing as in the proof of Proposition 2.3, we easily derive:
where we have used the previous estimate of \(v_{\varepsilon}\) and the fact that \(\lambda _{\varepsilon}^{\varepsilon}\to 1\), \(\alpha _{\varepsilon}\to K(y)^{8/(n-4)}\). Thus,
which is a contradiction with the assumption of Theorem 1.3. □
Availability of data and materials
The institute provided a working place and granted access to the internet and to library facilities.
References
Bahri, A.: Critical Point at Infinity in Some Variational Problems. Pitman Res Notes Math Ser, vol. 182. Longman, Harlow (1989)
Bahri, A.: An invarient for Yamabe-type flows with applications to scalar curvature problems in high dimension. A celebration of J. F. Nash Jr. Duke Math. J. 81, 323–466 (1996)
Bahri, A., Brezis, H.: Non-linear elliptic equations on Riemannian manifolds with the Sobolev critical exponent. In: Topics in Geometry, Progr. Nonlinear Differential Equations Appl, vol. 20, pp. 1–100. Birkhäuser, Boston (1996)
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. Partial Differ. Equ. 3, 67–94 (1995)
Ben Ayed, M.: Finite dimensional reduction of a supercritical exponent equation. Tunis. J. Math. 2(2), 379–397 (2020)
Ben Ayed, M., El Mehdi, K.: The Paneitz curvature problem on lower dimensional spheres. Ann. Glob. Anal. Geom. 31, 1–36 (2007)
Branson, T.P.: Group representations arising from Lorentz conformal geometry. J. Funct. Anal. 74, 199–291 (1987)
Djadli, Z., Hebey, E., Ledoux, M.: Paneitz type operators and applications. Duke Math. J. 104, 129–169 (2000)
Djadli, Z., Malchiodi, A., Ould Ahmedou, M.: Prescribing a fourth order conformal invariant on the standard sphere, part I: a perturbation result. Commun. Contemp. Math. 4, 1–34 (2002). Part II: blow up analysis and applications. Ann. Sc. Norm. Super. Pisa 5, 387–434 (2002).
Felli, V.: Existence of conformal metrics on \(S^{n}\) with prescribed fourth-order invariant. Adv. Differ. Equ. 7, 47–768 (2002)
Lin, C.S.: A classification of solutions of a conformally invariant fourth order equaequation in \(\mathcal{R}^{n}\). Comment. Math. Helv. 73, 206–231 (1998)
Ould Bouh, K.: Sign-changing solutions of a fourth-order elliptic equation with supercritical exponent. Electron. J. Differ. Equ. 2014, 77 (2014)
Ould Bouh, K.: Existence and nonexistence of solutions for a harmonic equation with critical nonlinearity. Acta Math. Sci. 36B(5), 1305–1316 (2016)
Ould Bouh, K.: On a biharmonic equation involving slightly supercritical exponent. Turk. J. Math. 42, 487–501 (2018)
Paneitz, S.: A quartic conformally covariant differential operator for arbitrary pseudo-Riemannian manifolds. SIGMA 4, 1–4 (2008)
Rey, O.: The topological impact of critical points at infinity in a variational problem with lack of compactness: the dimension 3. Adv. Differ. Equ. 4, 581–616 (1999)
Funding
This work was carried out with the aid of a grant from UNESCO-TWAS and the Swedish International Development Cooperation Agency (Sida). The views expressed herein do not necessarily represent those of UNESCO-TWAS, Sida or its Board of Governors. Project 2021 RGA No. 21-159 RG/MATHS/AF/ACJ-FR3240319490, The World Academy of Sciences (TWAS) and UNESCO.
Author information
Authors and Affiliations
Contributions
A.B. and C.D. wrote the main manuscript text and E.F. prepared Figs. 1-3. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ould Bouh, K. Existence and nonexistence of solutions for an approximation of the Paneitz problem on spheres. Bound Value Probl 2023, 103 (2023). https://doi.org/10.1186/s13661-023-01789-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01789-0