A conformal Yamabe problem with potential on the euclidean space

TL;DR

This paper investigates a Yamabe-type equation with a potential in Euclidean space, establishing conditions for existence and nonexistence of solutions, especially in the radial case, relevant to Ricci solitons.

Contribution

It introduces a generalized Yamabe problem with potential in Euclidean space and provides new existence and nonexistence results under broad hypotheses.

Findings

Existence of solutions under certain potential conditions

Nonexistence results for specific potential configurations

Focus on radial solutions in Euclidean space

Abstract

We consider, in the Euclidean setting, a conformal Yamabe-type equation related to a potential generalization of the classical constant scalar curvature problem and which naturally arises in the study of Ricci solitons structures. We prove existence and nonexistence results, focusing on the radial case, under some general hypothesis on the potential.

Equations

$$\nabla R=2\mathrm{Ric}(\nabla f,\cdot ),$$

$${\nabla }_{e_i}R=2R_{ij}{\nabla }_{e_j}f,$$

$$\widetilde{\mathrm{Ric}}$$

$$\tilde{R}$$

$$\nabla \Delta w$$

$$\displaystyle=-\frac{1}{n-1}\operatorname{Ric}(\nabla f,\cdot)+\frac{n-2}{n-1}\nabla^{2}w(\nabla f,\cdot)+\frac{1}{n-1}\Big{(}\Delta w+(n-2)|\nabla w|^{2}\Big{)}\nabla f$$

$$-\frac{n-2}{n-1}⟨\nabla w,\nabla f⟩\nabla w.$$

$$\nabla \Delta w$$

$$\displaystyle=\frac{n-2}{n-1}\nabla^{2}w(\nabla f,\cdot)+\frac{1}{n-1}\Big{(}\Delta w+(n-2)|\nabla w|^{2}\Big{)}\nabla f-\frac{n-2}{n-1}\langle\nabla w,\nabla f\rangle\nabla w.\,$$

$$g_{{\mathbb{R}}^n}$$

$$dw$$

$$\nabla dw$$

$$\Delta w$$

$$u^{\prime \prime }(r)+\frac{n-1}{r}{u}^{\prime }(r)-(n-2)u(r{)}^3-$$

$$=\left[u^{\prime }(r)+\frac{u(r)}{r}\right]h(r),$$

$$u(0)=0,u^{\prime }(0)=\alpha \ne 0$$

$$\frac{n-1}{r}{u}^{\prime }(r)-\frac{n-1}{r^2}u(r)=O(1),\frac{u(r)}{r}=O(1),\frac{u(r{)}^2}{r}=o(1)\text{mbox}asr\to 0$$

$$u_1(r)=-\frac{1}{r},u_2(r)=-\frac{2}{r},$$

$$P(r,y)=\left((n-2)y^2+\frac{2(n-1)}{r}y+\frac{n-1}{r^2}+\frac{h(r)}{r}\right)y,Q(r,y)=h(r)-\frac{n-1}{r}+(4-n)y.$$

$$u^{\prime\prime}(r)=Q\big{(}r,u(r)\big{)}u^{\prime}(r)+P\big{(}r,u(r)\big{)}\,.$$

$$I_{h}:=\big{\{}r\geq 0;\,(n-2)rh(r)<n-1\big{\}}\,,\qquad I^{h}=\big{\{}r\geq 0;\,(n-2)rh(r)>n-1\big{\}}\,.$$

$$P(r,y)=(n-2)\left[y+\frac{n-1+\sqrt{n-1-(n-2)rh(r)}}{(n-2)r}\right]\left[y+\frac{n-1-\sqrt{n-1-(n-2)rh(r)}}{(n-2)r}\right]y$$

$$y=0,y=\phi (r):=-\frac{n-1+\sqrt{n-1-(n-2)rh(r)}}{(n-2)r},$$

$$y=\psi (r):=\frac{1-n+\sqrt{n-1-(n-2)rh(r)}}{(n-2)r}.$$

$${\overline{u}}_a(r)=-\frac{2ar}{1+a{r}^2}$$

$$\text{mbox}ifn=3,4,5\text{mbox}then\exists \rho >0,\phi (r)<{\overline{u}}_1(r)<\psi (r)\forall r>\rho ,$$

$$\text{mbox}ifn\ge 6\text{mbox}then\exists \rho >0,{\overline{u}}_1(r)<\phi (r)\forall r>\rho .$$

$$\Gamma :=\{(r,y)\in {\mathbb{R}}_{+}\times {\mathbb{R}}_{-};\phi (r)<y<\psi (r)\}.$$

$$(n-2)u(r{)}^3+$$

$$=(n-2)\left(u(r)+\frac{n-1+\sqrt{n-1}}{(n-2)r}\right)\left(u(r)+\frac{n-1-\sqrt{n-1}}{(n-2)r}\right)u(r).$$

$$h_1(r)=-\frac{n-1+\sqrt{n-1}}{(n-2)r},h_2(r)=-\frac{n-1-\sqrt{n-1}}{(n-2)r}.$$

$$\displaystyle\frac{1}{r^{n-1}}\Big{(}r^{n-1}u^{\prime}(r)\Big{)}^{\prime}$$

$$-(n-4)u(r)u^{\prime }(r)+\left[u^{\prime }(r)+\frac{u(r)}{r}\right]h(r).$$

$$h(r)\ge 0\forall r\ge 0,n\ge 4,$$

$$\exists R>0\text{mbox}suchthatu(R)=h_1(R),u^{\prime }(R)\le 0,$$

Full text

Key Words: Yamabe problem, conformal problems, constant scalar curvature, ordinary differential equations

AMS subject classification: 53C20, 53C25, 34A34

1. introduction

In [4] the first and the third author considered ”potential” generalizations of some canonical metrics on smooth complete Riemannian manifolds. In this paper we focus our attention on one of those classes, namely $f$-Yamabe metrics. We recall that, given a $n$-dimensional Riemannian manifold $(M,g)$, where $g$ is the metric, and a smooth function $f\in C^{\infty}(M)$, we say that the triple $(M,g,f)\in\mathcal{Y}_{f}$ if and only if it satisfies the condition

[TABLE]

where $\operatorname{Ric}$ and $R$ are, respectively, the Ricci and the scalar curvature of $g$ and $\nabla$ denotes the Levi-Civita connection associated to $g$. In a local orthonormal frame $\{e_{i}\}$, $i=1,\ldots,n$, (1.1) becomes

[TABLE]

where $R_{ij}=\operatorname{Ric}(e_{i},e_{j})$. Note that we are using the Einstein summation convention over repeated indices. This equation is a meaningful generalization of the one for constant scalar curvature metrics and naturally arises in the study of Ricci solitons structures (for a general overview see [3]). Moreover, it is clear that any Ricci flat metric satisfy (1.1), for any function $f$ and, more in general, any product of a Ricci flat metric with a metric with constant scalar curvature solves (1.1), for any function $f$ which depends only on the first factor.

In the same spirit of the classical Yamabe problem it is natural to address the following questions:

• (A)

having fixed $f\in C^{\infty}(M)$, does there exist a metric $g$ such that $(M,g,f)\in\mathcal{Y}_{f}$?

• (B)

having fixed $f\in C^{\infty}(M)$ and a metric $g$, does there exist a conformal metric $\widetilde{g}$ in the conformal class $[g]$ such that $(M,\widetilde{g},f)\in\mathcal{Y}_{f}$?

More generally, one could ask the question

• (C)

does there exist a metric $g$ and a smooth function $f\in C^{\infty}(M)$ such that $(M,g,f)\in\mathcal{Y}_{f}$?

Clearly the answer to (C) is positive, since it is always possible to construct a (complete) metric with constant (negative) scalar curvature ([1] and [2]). Furthermore, when $f$ is constant, (B) boils down to the well known Yamabe problem, which is completely solved when $M$ is compact (see e.g. [9]). We will refer to (B) as the conformal $f$-Yamabe problem. In this paper we consider problem (B) (when $f$ is not constant) on the Euclidean space ${\mathbb{R}}^{n}$ endowed with the standard flat metric $g_{{\mathbb{R}}^{n}}$. In particular, in dimension four, we prove the following:

Theorem 1.1**.**

Let $f\in C^{\infty}({\mathbb{R}}^{4})$ be a, not constant, radial function satisfying $f^{\prime}(r)\leq 0$ for all $r>0$. Then there exists a conformal metric $\widetilde{g}\in[g_{{\mathbb{R}}^{n}}]$ such that $({\mathbb{R}}^{n},\widetilde{g},f)\in\mathcal{Y}_{f}$.

2. ODE formulation of the conformal $f$-Yamabe problem

Let $(M,g)$ be a smooth $n$-dimensional Riemannian manifold, $n\geq 2$, and let $f\in C^{\infty}(M)$. It is well known (see for instance [5]) that, if $\widetilde{g}=e^{2w}g\in[g]$ for some $w\in C^{\infty}(M)$, then the following formulas hold:

[TABLE]

where $\nabla^{2}$ is the Hessian and $\Delta=g^{ij}\nabla_{ij}^{2}$ is the Laplace-Beltrami operator of $g$. A computation shows that $(M,\widetilde{g},f)=(M,e^{2w}g,f)\in\mathcal{Y}_{f}$ if and only if the function $w$ solves the system of PDEs

[TABLE]

In particular, since $({\mathbb{R}}^{n},g_{{\mathbb{R}}^{n}})$ is Ricci flat, then $({\mathbb{R}}^{n},\widetilde{g},f)=({\mathbb{R}}^{n},e^{2w}g_{{\mathbb{R}}^{n}},f)\in\mathcal{Y}_{f}$ if and only if $w$ solves the system of PDEs

[TABLE]

To fully exploit the symmetries of the Euclidean space, it is reasonable to start our analysis by considering radial solutions $w=w(r)$ of (2.2) for a given radial function $f=f(r)$, where $r$ denotes the distance function from the origin. In this case, in standard polar coordinates, one has

[TABLE]

and a computation shows that system (2.2) boils down to the following second order nonlinear ODE for the function $u(r):=w^{\prime}(r)$

[TABLE]

where $h(r):=f^{\prime}(r)$. Note that if $n=2$, then the cubic term disappears in (2.3).

We then impose the initial conditions

[TABLE]

which require some explanation since (2.3) is singular at $r=0$. Assume that $u\in C^{2}[0,\infty)$ satisfies (2.4), then $u(r)=\alpha r+O(r^{2})$ as $r\to 0$ and, in turn,

[TABLE]

which shows that, by combining suitably the terms in (2.3), we obtain finite limits as $r\to 0$. The existence and uniqueness of a solution of (2.3)-(2.4) can then be proved rigorously by adapting the arguments of Proposition 1 in [11]: one needs to combine the Ascoli-Arzelà Theorem with the Schauder fixed point Theorem in order to obtain existence of a solution. Then the solution is unique as long as it can be continued [6, Proposition 4.2].

Before stating our existence and nonexistence results, let us discuss heuristically the structure of (2.3).

3. Heuristic preliminaries

We first notice that, if $n\geq 3$, then there exist exactly two singular (negative) solutions of (2.3) of the type $cr^{-1}$ given by

[TABLE]

regardless of the explicit form of $h$. This fact suggests that the “interesting dynamics” for (2.3) occurs when $u(r)<0$ and global solutions of (2.3) are more likely to be prevalently negative. If $n=2$ then the functions $u(r)=cr^{-1}$ are singular solutions of (2.3) for any $c\neq 0$; in particular, there exist infinitely many positive singular solutions and the dynamics appears much more chaotic.

It is quite useful to consider the two functions defined for all $(r,y)\in\mathbb{R}_{+}\times\mathbb{R}$:

[TABLE]

Then (2.3) may be written in normal form as

[TABLE]

Depending on $h\in C^{0}[0,\infty)$, we define the two regions

[TABLE]

Clearly, $I_{h}$ contains a right neighborhood of $r=0$ and is therefore nonempty for all $h$, while $I^{h}$ is empty if $rh(r)\leq\frac{n-1}{n-2}$ for all $r$, in particular if $h(r)\leq 0$. It is also straightforward that:

$\bullet$ if $r\in I^{h}$, then $P(r,y)=0$ if and only if $y=0$, moreover $P$ has the same sign as $y$;

$\bullet$ if $r\in I_{h}$, then we may write

[TABLE]

and hence $P(r,y)$ vanishes if and only if one of the following facts occurs:

[TABLE]

[TABLE]

Note that $\psi(r)>\varphi(r)$ for all $r\in I_{h}$ but, while $\varphi(r)<0$ for all $r\in I_{h}$, the sign of $\psi(r)$ may vary and it is the opposite of the sign of $rh(r)+n-1$; in particular, $\psi(r)<0$ in a right neighborhood of $r=0$.

One expects a crucial role for the existence results to be played by the signs of $Q$ and $P$. However, the overall picture is not completely clear. To see this, consider the trivial case $h\equiv 0$ for which the function

[TABLE]

solves (2.3)-(2.4) with $\alpha=-2a$. First notice that if $a<0$ (so that $u^{\prime}_{a}(0)>0$), then $u_{a}$ blows up as $r\to 1/\sqrt{|a|}$. Therefore, $u_{a}$ is a global solution of (2.3) if and only if $a>0$. Simple computations then show that

[TABLE]

[TABLE]

These facts are illustrated in Figure 1, where the shaded region is

[TABLE]

In the left picture we see that the graph of $\overline{u}_{1}$ (thick line) eventually lies inside $\Gamma$ while in the right picture it eventually lies outside. Therefore, the function $P(r,\overline{u}_{1}(r))$ does not always have the same sign as $r\to\infty$.

4. Nonexistence results

We can the prove the following (partial) nonexistence results.

Theorem 4.1**.**

If $n\geq 3$, $h(r)\geq-\frac{n-1}{r}$ for all $r>0$, $\alpha>0$, then the solution of (2.3)-(2.4) is not global.

The proof of Theorem 4.1 is given in Section 7. As a by-product, the very same proof enables us to obtain

Theorem 4.2**.**

If $n\geq 3$, $h(r)\geq-\frac{n-1}{r}$ for all $r>0$, then any global solution $u$ of (2.3)-(2.4) is necessarily strictly negative.

Indeed, Theorem 4.1 excludes the existence of positive solutions $u$ satisfying $u^{\prime}(0)>0$. If $u^{\prime}(0)<0$ then the solution of (2.3) is initially negative and, if it becomes positive, one can argue as in Section 7 in order to show finite space blow up.

Concerning nonexistence of negative solutions, a weaker result holds. First of all, we put together the three static terms

[TABLE]

This shows that the static term changes sign whenever the graph of $u$ crosses one of the two hyperbola:

[TABLE]

Then rewrite (2.3) as

[TABLE]

If we assume that

[TABLE]

and that

[TABLE]

then the above equation tells us that $r\mapsto r^{n-1}u^{\prime}(r)$ is decreasing for $r>R$. In particular, we have that $u^{\prime}(r)<0$ and $u(r)<h_{1}(r)$ for all $r>R$. Finally, this yields the existence of $\gamma>0$ such that

[TABLE]

By arguing as in the proof of Theorem 4.1 (see Lemma 7.2 below) one obtains that

[TABLE]

Summarizing, we have

Proposition 4.3**.**

If (4.2) holds, then there exists no global solution of (2.3)-(2.4) which satisfies (4.3).

5. Existence results

We start with a simple but interesting example. If

[TABLE]

then $u(r)=\alpha r$ solves (2.3)-(2.4). We point out that, in any case, the solution $u$ is global and unbounded. Moreover, if $\alpha>0$ then $h(r)<0$ for all $r$ and the solution of (2.3)-(2.4) is positive, while if $\alpha<0$ then $h$ changes sign and the solution is negative.

Theorem 4.1 suggests that (2.3) is more likely to have negative solutions whenever $h$ itself is negative. We prove that this is the case, at least in dimension $n=4$.

Theorem 5.1**.**

In dimension $n=4$, if $h(r)\leq 0$ for all $r>0$, then (2.3) admits infinitely many negative global solutions. More precisely, for any $\alpha<0$ the solution of (2.3)-(2.4) is global and it satisfies $-\frac{2}{r}<u(r)<0$ for all $r>0$.

6. Remarks and open problems

We discuss some open problem related to conformal $f$-Yamabe metrics and to solutions of equation (2.1).

1. (1)

In Theorem 4.1 we stated a partial nonexistence results for radial solutions in the Euclidean space, while Theorem 5.1 provides a general existence result. It would be interesting to prove a sharp condition on the potential function $f$ (or on its derivative) ensuring existence of global solutions to (2.3). 2. (2)

It is well known [8] that global positive solution the Yamabe equation

[TABLE]

have to be radial (and thus classified). We could ask the same question for (general) solutions to (2.2). For a given $f\in C^{\infty}({\mathbb{R}}^{n})$, are there any nonradial solutions $w$? If $f$ is radial, are all solutions to (2.2) radial? 3. (3)

In this paper we studied conformal $f$-Yamabe metrics for $({\mathbb{R}}^{n},g_{{\mathbb{R}}^{n}})$. What about other rotationally symmetric spaces? In particular, what we can say for the hyperbolic space $({\mathbb{H}}^{n},g_{{\mathbb{H}}^{n}})$ or the round sphere $(\SS^{n},g_{\SS^{n}})$? 4. (4)

In the existence result (Theorem 5.1) the dimension $n=4$ seems to be peculiar, at least from the analytic point of view. Is there a geometric interpretation of this fact?

7. Proof of Theorem 4.1

Throughout this proof we will need the following particular class of test functions.

Definition 7.1**.**

Let $\rho>0$. We say that a nonnegative function $\phi\in C^{2}_{c}[0,\infty)$ satisfies the $\rho$-property if

[TABLE]

and if

[TABLE]

It is clear that such functions exist; to see this, it suffices to replace any $\phi$ satisfying (7.1) with a power $\phi^{k}$ for $k$ sufficiently large so that (7.2) will be satisfied.

For the proof of Theorem 4.1, we first observe that, since $\alpha>0$ the solution of (2.3)-(2.4) is positive and strictly increasing in a right neighborhood of $r=0$, say in some maximal interval $(0,R)$. Clearly, among $u$ and $u^{\prime}$ the first one which can vanish is $u^{\prime}$. But if $u^{\prime}(R)=0$ then, using the lower bound for $h$, we see that (2.3) yields

[TABLE]

giving a contradiction. Therefore, $u^{\prime}$ cannot vanish and two cases may occur:

[TABLE]

The proof will be complete if we show that $(ii)$ occurs. At this point, we distinguish two cases.

$\bullet$ Case $n\in\{3,4\}$.

In order to prove $(ii)$ in (7.3), we argue for contradiction by assuming that $R=\infty$ so that $u,u^{\prime}>0$ for all $r>0$. From the assumptions and (2.3), we then infer that (recall $n\leq 4$)

[TABLE]

To reach a contradiction we need the following estimate, inspired to the method developed by Mitidieri-Pohožaev [10] (see also the proof of [7, Proposition 5]).

Lemma 7.2**.**

Assume that $w\in C^{2}[0,\infty)$. Then for any $\varepsilon>0$, for any $\rho>0$ and for all $\phi$ satisfying the $\rho$-property, we have

[TABLE]

Proof.

In this proof we will use the Young inequality in the following form:

[TABLE]

Fix $\varepsilon>0$ and $\rho>0$. We use a PDE approach and introduce the radial $C^{2}(\mathbb{R}^{2n-1})$-function $v$ such that $v(x)=w(|x|)$ for all $x$: note that the space dimension is here $2n-1$ and that $\Delta v(x)=w^{\prime\prime}(|x|)+\frac{2n-2}{|x|}w^{\prime}(|x|)$. Then, multiply $\Delta v$ by some function $\Phi(x)=\phi(|x|)$, where $\phi$ satisfies the $\rho$-property. Since $\Phi\equiv 1$ in $B_{\rho}$, two integration by parts and (7.5) yield

[TABLE]

and back to the radial form of $v$ and $\Phi$ this proves the statement.∎

Take a function $\phi_{1}$ satisfying the $1$-property and observe that the function

[TABLE]

satisfies the $\rho$-property. Therefore, for all $\varepsilon>0$, from (7.4) and Lemma 7.2 we infer that

[TABLE]

[TABLE]

Take $0<\varepsilon<3(n-2)$, then the latter inequality yields

[TABLE]

With the change of variable $r=\rho t$ this becomes

[TABLE]

Since $u$ is increasing on $\mathbb{R}_{+}$, we have $u(\rho t)\geq u(t)$ for all $\rho>1$ so that the left hand side of this inequality is positive and increasing for $\rho\geq 1$. By letting $\rho\to\infty$, the right hand side tends to [math] and this leads to a contradiction which rules out case $(i)$. Hence, case $(ii)$ occurs and the solution $u$ of (2.3)-(2.4) with $\alpha>0$ cannot be continued to all the interval $[0,\infty)$. This completes the proof of Theorem 4.1 in the case $n=3,4$.

$\bullet$ Case $n\geq 5$.

The same arguments leading to (7.4) now yield

[TABLE]

and we need to estimate one more term. The companion of Lemma 7.2 reads

Lemma 7.3**.**

Assume that $w\in C^{2}[0,\infty)$. Then for any $\delta>0$, for any $\rho>0$ and for all $\phi$ satisfying the $\rho$-property, we have

[TABLE]

Proof.

In this proof we will use the Young inequality in the following form:

[TABLE]

Fix $\delta>0$ and $\rho>0$; then take $\phi$ satisfying the $\rho$-property. An integration by parts yields

[TABLE]

and, since $\phi\geq 0$,

[TABLE]

Since $\phi^{\prime}\equiv 0$ on $(0,\rho)$, this completes the proof.∎

Take again a function $\phi_{1}$ satisfying the $1$-property and let $\phi_{\rho}(r):=\phi_{1}(r/\rho)$ for all $\rho>1$ so that $\phi_{\rho}$ satisfies the $\rho$-property. Multiply (7.6) by $\phi_{\rho}$ and integrate over $(0,2\rho)$ to obtain

[TABLE]

Then, by Lemmas 7.2 and 7.3 we infer that

[TABLE]

[TABLE]

Take $\varepsilon>0$ and $\delta>0$ sufficiently small in such a way that $C_{\varepsilon,\delta}:=n-2-\frac{\varepsilon}{3}-\frac{(n-4)\sqrt{\delta}}{3}>0$ and perform the change of variable $r=\rho t$ to obtain

[TABLE]

Since $u$ is increasing on $\mathbb{R}_{+}$, we have $u(\rho t)\geq u(t)$ for all $\rho>1$ so that the left hand side of this inequality is positive and increasing for $\rho\geq 1$. By letting $\rho\to\infty$, the right hand side tends to [math] and this leads to a contradiction which rules out case $(i)$. Hence, case $(ii)$ occurs and the solution $u$ of (2.3)-(2.4) with $\alpha>0$ cannot be continued to all the interval $[0,\infty)$. This completes the proof of Theorem 4.1 also in the case $n\geq 5$.

8. Proof of Theorem 5.1

For our convenience, we introduce the functions

[TABLE]

Let $v(r)=ru(r)$, then $v$ satisfies the equation

[TABLE]

If $u$ satisfies (2.3)-(2.4) with $\alpha<0$, then $u(r)$ and $u^{\prime}(r)$ are strictly negative in a right neighborhood of $r=0$. By definition of $v$, also $v(r)$ is strictly negative in a right neighborhood of $r=0$. We claim that $-2<v(r)<0$ for all $r>0$. If not, let $R>0$ be the first time where

[TABLE]

Multiply (8.1) by $r^{2}v^{\prime}(r)$ and integrate over $[0,R]$ to obtain

[TABLE]

since $H(0)=H(-2)=0$. An integration by parts then yields

[TABLE]

If $n=4$ and $h(r)\leq 0$ we get a contradiction which shows that $R$ does not exist and therefore $-2<v(r)<0$ for all $r>0$. This proves the claim. Hence, by (8.1), also $v^{\prime}$ and $v^{\prime\prime}$ remain bounded and the solutions exists. This concludes the proof of Theorem 5.1.

**Acknowledgments​ **.

The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The first author is supported by the PRIN project “Variational methods, with applications to problems in mathematical physics and geometry”. The second author is supported by the PRIN project “Equazioni alle derivate parziali di tipo ellittico e parabolico: aspetti geometrici, disuguaglianze collegate, e applicazioni”.