---
abstract: |
    Let $(M^n,g),~n\ge 3$ be a noncompact complete Riemannian manifold with compact boundary and $f$ a smooth function on $\partial M$. In this paper we show that for a large class of such manifolds, there exists a metric within the conformal class of $g$ that is complete, has zero scalar curvature on $M$ and has mean curvature $f$ on the boundary.\
    The problem is equivalent to finding a positive solution to an elliptic equation with a non-linear boundary condition with critical Sobolev exponent.
address: 'Cornell University, Ithaca, NY, and Stanford University, Stanford, CA'
author:
- Fernando Schwartz
title:  The Zero Scalar Curvature Yamabe problem on noncompact manifolds with boundary
---

[^1]

Introduction
============

The celebrated Riemann Mapping Theorem states that any simply connected region in the plane is conformally diffeomorphic to a disk. This theorem is less successful in higher dimensions since very few domains are conformally diffeomorphic to the ball. Nevertheless, we can still ask whether a manifold with boundary is conformally diffeomorphic to a manifold that resembles the ball, namely to one that has zero scalar curvature and constant mean curvature on its boundary. Escobar studied this problem in @E92. He showed that most compact manifolds with boundary admit such conformally related metrics.

A generalization of this problem is the so-called <span>*prescribed mean curvature problem*</span>. Let $(M^n,g),n\ge 3$ be a manifold with boundary and $f\in C^\infty(\partial M)$.

\[yamb\] Does there exist a metric conformally equivalent to $g$ that is complete, scalar flat and has mean curvature $f$ on $\partial M$?

Escobar and Garcia @EG04 studied this problem on $(B^3,\delta_{ij})$. They proved that a Morse function is the mean curvature of a scalar-flat metric $g\in [\delta_{ij}]$ if it satisfies some Morse inequalities. They paralleled Schoen and Zhang's @SZ96 blow-up analysis for the prescribed scalar curvature problem on $S^3$. In both cases, a general solution is unexpected because of the Kazdan-Warner obstruction @KW75a. (See @KW74 for the prescribed Gaussian curvature problem on open 2-manifolds.)

In this paper we address Problem \[yamb\] on a large class of <span>**noncompact**</span> manifolds with boundary $(M^n,g),~n\ge3$. As a corollary of Theorem \[thm1\] about PDEs we get:

\[bb\] Any smooth function $f$ on $\partial M$ can be realized as the mean curvature of a complete scalar flat metric conformal to $g$.

In contrast with the compact case, no topological obstructions on $f$ arise. This is a surprising phenomena.

Preliminaires
=============

Let $(M^n,g),~n\ge 3$ be a complete, $n$-dimensional Riemannian manifold with boundary $\partial M\neq \emptyset$. Denote by $\tilde{g}=u^{4/(n-2)}g$ a metric conformally related to $g$, where $u>0$ is a smooth function.

It is a standard fact that the relation between the scalar curvature $R(g)$ of the metric $g$ and the scalar curvature $R(\tilde{g})$ of the metric $\tilde{g}$ is given by

$$\begin{aligned}
\label{eq1}
R(\tilde{g})=-\frac{4(n-1)}{n-2}\frac{L_gu}{u^{(n+2)/(n-2)}},\end{aligned}$$

where $L_g=\Delta_g-\frac{n-2}{4(n-1)}R(g)$, and $\Delta_g$ is the Laplacian calculated with respect to the metric $g$.

The relation between the mean curvature of the boundary $h(g)$ of the metric $g$, and the mean curvature of the boundary $h(\tilde{g})$ of the metric $\tilde{g}$ is given by

$$\begin{aligned}
\label{eq2}
h(\tilde{g})=\frac{2}{n-2}\frac{B_gu}{u^{n/(n-2)}},\end{aligned}$$

where $B_g=\frac{\partial}{\partial\eta}+\frac{n-2}{2}h(g)$ and $\partial /\partial\eta$ is the outward-pointing normal derivative on $\partial M$ calculated with respect to the metric $g$.

The exponent $n/(n-2)$ of equation (\[eq2\]) is called a <span>**critical exponent**</span> since the Sobolev trace embedding $H^1(M)\hookrightarrow L^{q}(\partial M)$ ceases to be compact for $q\ge 2(n-1)/(n-2)$. This condition rules out the direct method of minimization to prove existence of solutions.

It follows directly from the above discussion that finding a conformally related metric $\tilde{g}=u^{4/(n-2)}g$ on $M$ that is scalar flat (i.e. has zero scalar curvature) and has prescribed mean curvature $f$ on the boundary is equivalent to finding smooth $u>0$ on $M$ that satisfies equation (\[eq1\]) with $R(\tilde{g})\equiv 0$ and equation (\[eq2\]) with $h(\tilde{g})\equiv f$.

In this paper we find such $u$ for a more general problem, the so-called <span>**supercritical**</span> equation, in which the critical exponent $n/(n-2)$ of (\[eq2\]) is replaced by an arbitrary number $\beta>1$.

Let $(M^n,g)$ be a complete, noncompact Riemannian manifold. On each end $E$ of $M$, consider the volume of the set obtained by intersecting $E$ with the geodesic ball of radius $t$ centered at some fixed $p\in M$, and denote it by $V_E(t)$. We say that the end $E$ is <span>**large**</span> if $$\int_1^\infty \frac{t}{V_E(t)} dt <\infty.$$

Suppose that the Ricci curvature of $M$ satisfies $Ric_M(x)\ge -(n-1)K(1+r(x))^{-2}$, where $K\ge0$ is some constant and $r(x)$ is the distance from $x$ to some fixed point $p$. By Li and Tam's @LT95 paper, on any large end $E$ of $M$ there exists a harmonic, non-negative function $v_E$ (a *barrier), which is asymptotic to 1 on $E$ and it is exactly zero on the boundary of a large ball intersected with the end.*

Throughout this paper $M$ will be a manifold that satisfies the above bound on the Ricci tensor.

\[positive\] We say that $(M,g)$ is <span>**positive**</span> if it is complete, scalar flat, and has positive mean curvature on the boundary.

If $(M,g)$ is positive it has a positive first eigenvalue for the following problem: $$\begin{aligned}
\label{CN} 
 \left\{
\begin{array}{lllr}
L_{g} u & = & 0  &\mbox{in}~M,\\
B_{g} u & = & \lambda u   & \mbox{on}~\partial M.
\end{array}
\right.\end{aligned}$$ Conversely, if the first eigenvalue of the above problem is positive, then $(M,g)$ admits a conformally-related sclar flat metric $g'$ that has postive mean curvature on the boundary, but this metric <span>**may not be complete**</span>. Theorem \[thm1\] still applies for $(M,g')$ provided it has large ends, since completeness is not used in the proof. Nevertheless, the new metric $\tilde{g}=u^{4/(n-2)}g'$, which is scalar flat and has prescribed mean curvature $f$ on the boundary, may also be incomplete.

\[thm1\] Let $(M,g)$ be a noncompact positive Riemannian manifold with compact boundary and finitely many ends, all of them large. Let $f$ be a smooth function on $\partial M$ and $\beta>1.$ There exists $\epsilon,\delta>0$ and a smooth function $\epsilon\le u\le \epsilon+\delta$ on $M$ with $$\begin{aligned}
\label{cf}
\left\{
\begin{array}{lllr}
L_gu  & = & 0 &\mbox{in}~M,\\
B_g u &  = & \frac{n-2}{2}f u^{\beta} & \mbox{on}~\partial M.
\end{array}
\right.\end{aligned}$$ When $\beta$ is the critical exponent $n/(n-2),~\tilde{g}=u^{4/(n-2)}g$ is a complete, scalar flat metric on $M$, with mean curvature $h(\tilde{g})\equiv f$.

For the $\beta=n/(n-2)$ case, the bound $\epsilon\le u\le \epsilon+\delta$ guarantees a complete metric $\tilde{g}=u^{4/(n-2)}g$.

Since $(M,g)$ is positive we have that $L_g\equiv \Delta_g.$

A very important class of examples of positive <span>*noncompact*</span> manifolds with boundary is obtained by removing submanifolds of large codimension out of positive <span>*compact*</span> manifolds with boundary. We refer the reader to the Appendix for more details on the construction.

The proof of Theorem \[thm1\] is divided in two parts. In Section \[M\] we prove that an iterative process using sub- and super-solutions converges to a solution of (\[cf\]). In Section \[E\] we construct the appropriate sub- and super-solutions. Theorem \[bb\] follows by choosing $\beta=n/(n-2)$ in Theorem \[thm1\].

Method of sub- and super-solutions {#M}
==================================

In this section we adapt a method of sub- and super-solutions to our setting. (See @KW75b for general properties of sub- and super-solution methods on semilinear elliptic problems.) We begin by proving a form of maximum principle on a compact piece of $M$ that contains $\partial M$.

Let $u\in C^{2}(M)\cap C^1(\bar{M})$, and define the operators $$\begin{array}{lllr}
L_\lambda u & := & \Delta_g u -\lambda u & \mbox{in}~M,\\
B_\gamma u & := &\frac{\partial u}{\partial \eta}+(\frac{n-2}{2}h_g+\gamma) u  & 
\mbox{on}~\partial M,
\end{array}$$ for $\lambda,\gamma>0$ fixed large numbers.

\[Maximum Principle\] \[mp\] Let $M_1\subseteq M$ be a compact piece of $M$ containing $\partial M$, with smooth boundary $\partial M_1 = \partial M \cup N$. Suppose that $u\in C^{2}(M_1)\cap C^1(\bar{M_1})$ satisfies: $$\left\{
\begin{array}{lllr} 
L_\lambda u& \geq &  0& \mbox{in}~ M_1,\\
B_\gamma u &\leq & 0&\mbox{on} ~\partial M,\\
u & \le& 0 &\mbox{on}~ N.
\end{array}
\right.$$ Then $u\leq 0$ on $ M_1$.

Put $w(x)=\max \{0,u(x)\}$, so that $w=0$ on $N$. Recall that $\min_{\partial M}
 h_g >0$. We get: $$\begin{aligned}
0 & \leq & \int_{M_1} (L_\lambda u)w - \int_{\partial M}(B_\gamma u)w\\
&= & -\int_{M_1}\nabla u\cdot \nabla w - \lambda \int_{{M_1}} uw - \gamma
\int_{\partial M} uw\\
& = & -\int_{M_1} |\nabla w|^2-\lambda \int_{{M_1}} w^2-\gamma\int_{\partial M}w^2.\end{aligned}$$ Hence $w=0$ in $M_1$, and so $u\leq 0$ in $M_1$.

A sub-solution (resp. super-solution) of equation (\[cf\]) is a function $u_- $ (resp. $u^+$) in $C^{2}(M)\cap C^1(\bar{M})$ with $$\left\{
\begin{array}{lllr}
\Delta_g u_- & \geq & 0 & \mbox{in}~M,\\
B_g u_-- \frac{n-2}{2} f u_-^\beta & \leq  & 0 & 
\mbox{on}~\partial M,
\end{array}
\right.$$ respectively $$\left\{
\begin{array}{lllr}
\Delta_g u^+ & \leq & 0 & \mbox{in}~M,\\
B_g u^+- \frac{n-2}{2} f (u^+)^\beta & \geq  & 0 & 
\mbox{on}~\partial M.
\end{array}
\right.$$

\[main\] If there exist sub- and super-solutions $u_-,u^+\in C^\infty(M)$ with $0\le u_-\le~u^+\le c_0$, then there exists a smooth solution $u$ of equation (\[cf\]) with $u_-\leq u \leq u^+$.

We will show that the statement holds for all compact pieces $M_1\subseteq M$ as above. Then we take pieces converging to $M$ and construct a global solution.

Let $M_1$ be a compact neighborhood of $\partial M$ in $M$ with smooth boundary $\partial M_1=\partial M \cup N$. Let $\lambda,\gamma>0$ be large enough so that (\[induct\]) admits a solution. Let $u_0=u^+|_{M_1}$, and define inductively $u_i\in C^{2}(M_1)\cap C^1(\bar{M_1})$, $i=1,2,\dots$, to be the unique solution to $$\begin{aligned}
 \label{induct}
\left\{
\begin{array}{lllr}
L_\lambda u_i &  = & -\lambda u_{i-1} & \mbox{in} ~M_1,\\
B_\gamma u_i &  = &\frac{n-2}{2} f u_{i-1}^\beta + \gamma u_{i-1} & \mbox{on}~\partial M,\\
u_i & = & u_{i-1} & \mbox{on}~N.
\end{array}
\right.\end{aligned}$$

*Claim. We have $u_-\leq \cdots \leq u_i\leq u_{i-1}\leq \cdots \leq u^+$.*

To prove the claim, we will use induction twice. First, to show that the sequence $\{u_i\}$ is non-increasing and bounded by $u^+$. Then, to prove that it is bounded below by $u_-$.

To check the first induction step, we see that $L_\lambda (u_1-u_0) = 
(\Delta u_1-\lambda u_1)-(\Delta u_0
-\lambda u_0) = -\lambda u_0 - \Delta u_0 +\lambda u_0 = -\Delta u_0
\geq 0$, because $u_0=u^+$ is a super-solution.

On the other hand, one has

$$\begin{aligned}
B_\gamma
 (u_1-u_0)& =& \frac{\partial u_1}{\partial \eta} + (\frac{n-2}{2}h_g +\gamma) u_1
  -\frac{\partial u_0}{\partial
 \eta} - (\frac{n-2}{2}h_g +\gamma)u_0\\
& =&  \frac{n-2}{2}fu_0^\beta +\gamma u_0 -\frac{\partial u_0}{\partial
 \eta}  - (\frac{n-2}{2}h_g +\gamma)u_0 \\
  &=& \frac{n-2}{2}f u_0^\beta - \frac{\partial u_0}{\partial \eta}
 - \frac{n-2}{2}h_gu_0\\ 
 &\leq & 0\end{aligned}$$

since $u_0=u^+$ is a super-solution. By construction $u_1-u_0=0$ on $N$.

The maximum principle implies $u_1\leq u_0$ and the first step of the induction follows.

Assume, by induction, that $u_i\leq u_{i-1}$.

Then, $L_\lambda (u_{i+1}-u_i)=\Delta u_{i+1}-\lambda u_{i+1} - \Delta u_i
 +\lambda u_i = -\lambda u_i +\lambda u_{i-1} = \lambda (u_{i-1}-u_i)
 \geq 0$.

On $\partial M$ we have:

$$\begin{aligned}
 B_\gamma (u_{i+1}-u_i) & = & \frac{n-2}{2}fu_i^\beta + \gamma u_i
 -\frac{n-2}{2}fu_{i-1}^\beta -\gamma u_{i-1}\\
&= & \frac{n-2}{2} f(u_{i}^\beta-u_{i-1}^\beta)+\gamma (u_{i}-u_{i-1}).\end{aligned}$$

If $f$ is nonnegative, then the above quantity is nonpositive by induction hypothesis.

On the other hand, if there exists $x\in \partial M$ with $f(x)\leq 0$, then by choosing $\gamma > \frac{n-2}{2}\beta  \|f\| \|u^+\|_{\partial M}$ we get $$\frac{n-2}{2}f(u_{i}^\beta-u_{i-1}^\beta)+\gamma (u_{i}-u_{i-1})
\leq 0,$$ so the inequality $B_\gamma (u_{i+1}-u_i)\leq 0$ follows from the fact that $$u_{i-1}^\beta - u_i^\beta \leq \beta (u^+)^{\beta -1}(u_{i-1}-u_i).$$ Together with the fact that $u_{i+1}-u_i=0$ on $N$, it follows by the maximum principle that $u_i$ is non-increasing.

We now show that $u_-\leq u_i$.

By hypothesis, $u_-\leq u^+=u_0$. Assume, by induction, that $u_-\leq u_{i-1}$. Then $L_\lambda (u_--u_i)
=\Delta u_- - \lambda u_- -\Delta u_i+\lambda u_i = \Delta u_-
+\lambda (u_{i-1}-u_-) \geq 0$, by induction hypothesis and the fact that $\Delta u_-\geq 0$.

On $\partial M$ we have $$\begin{aligned}
B_\lambda (u_--u_i)& =& \frac{\partial u_-}{\partial \eta} + (\frac{n-2}{2}h_g
+\gamma)u_- - (\frac{n-2}{2}fu_{i-1}^\beta
+ \gamma u_{i-1})\\
&= & B (u_-)  
 + \frac{n-2}{2}f(u_-^\beta -u_{i-1}^\beta)+\gamma(u_--u_{i-1})\\
& \leq& \frac{n-2}{2}f(u_-^\beta -
u_{i-1}^\beta)+\gamma(u_--u_{i-1}).\end{aligned}$$ Should $f$ be positive, this last term would be non-positive by induction hypothesis. Otherwise, $\gamma >\beta\frac{n-2}{2} \|u^+\|_{\partial B} \|f\|$ guarantees $B_\lambda (u_--u_i)\leq 0$ since $u_k^\beta-u_-^\beta\leq \beta (u^+)^{\beta
-1}(u_k-u_-)$ for $k=1, \dots, i-1$. The fact that $u_i=u^+$ on $N$ and $u_-\le u^+$ implies $u_--u_i\le 0$ on $N$. The claim follows from the maximum principle.

The inequality $u_-\leq u_i\leq u^+$ in $M_1$ implies that the sequence $u_i$ is uniformly bounded. From the first equation in (\[induct\]) we conclude that $|\Delta u_i|$ is uniformly bounded as well. Standard elliptic estimates imply that $\|u_i\|_{2,p}$ is uniformly bounded for any $p>1$, and hence the Sobolev embedding implies that there is a uniform bound for the sequence $u_i$ in the $C^{1,\nu}(\bar{M_1})$-norm. Differentiating the first equation in (\[induct\]) we find that $|\nabla \Delta u_i|$ is uniformly bounded, and $L^p$ elliptic estimates imply that $\|u_i\|_{3,p}$ is uniformly bounded for any $p>n$. The compactness of the embedding $H^{3,p}(M_1)\hookrightarrow C^{2,\nu}(\bar{M_1}),
~0 <\nu <1-\frac{n}{p},~p>n,$ guarantees the existence of a subsequence of functions $u_{i_k}$ converging to a function $u|_{M_1}\in C^{2,\nu}(\bar{M_1})$. Because the sequence of functions $u_i$ is monotone we conclude that the whole sequence converges to $u|_{M_1}$. That $u|_{M_1}$ is in $C^\infty(M_1)$ is a standard argument since it solves (\[cf\]) on $M_1$.

A diagonal procedure on an exhaustion of $M$ by compact pieces like $M_1$ gives a way to construct a globally defined smooth function $u\in C^\infty(M)$. Clearly $u_-\le u\le u^+$. Also, $u$ is a uniform limit of (a subsequence of) $u|{M_1}$'s over compact subsets, so it is straightforward to check that it is a solution to equation (\[cf\]).

Existence of sub- and super-solutions {#E}
=====================================

We construct an appropriate harmonic function that we will use as a base for our sub- and super-solutions.

\[4.1\] There exists $\mu >0$, and a positive smooth function $\mu \le v\le 1+\mu$ on $M$, with

$$\begin{aligned}
\left\{
\begin{array}{clllr}
\Delta_g v &  = & 0 &\mbox{in}~M,\\
B_g v &  < & 0 & \mbox{on}~\partial M,\\
v &\sim  & 1+\mu & \mbox{near infinity}.
\end{array}
\right.\end{aligned}$$

Let $R>0$ be large. There always exists a positive solution $v_{R}$ of the homogeneous problem

$$\begin{aligned}
\begin{array}{ll}
(P_R) &
\left\{
\begin{array}{clllr}
\Delta v_R &  = & 0 &\mbox{in}~\{x~:~d(x,\partial M)<R\},\\
 v_R &  = & 0 & \mbox{on}~\partial M,\\
v_R & = & 1 & \mbox{on}~\{x~:~d(x,\partial M)=R\}.
\end{array}
\right.
\end{array}\end{aligned}$$

A standard argument shows that as $R_i\to \infty$, the sequence $v_{R_i}$ converges uniformly on compact sets to a harmonic function $0\le v_\infty \le1$.

*Claim. $v_\infty \sim 1$ on each end's infinity.*

Let $E$ be an end and $0\le v_E\le 1$ be a harmonic barrier function that vanishes on the boundary of a large ball intersected with $E$ and is asymptotic to $1$ (See @LT95). By the maximum principle, $v_E$ is smaller or equal than $v_\infty$ . This way, $v_\infty$ is non-zero and asymptotic to $1$ on all ends.

We get that $B v_\infty = \partial /\partial \eta (v_\infty)$, but $\partial /\partial \eta (v_\infty)<0$ by Hopf's principle, since $v_\infty$ attains its minimum along the boundary (recall that $\eta$ is the outward-pointing normal of the boundary).\
Pick $\mu>0$ so that $v:=v_\infty+\mu$ still satisfies $B v<0$. This way, $v \ge\mu>0$ and $v$ is asymptotic to $1+\mu$, as desired.

\[fin\] For appropriately small constants $\epsilon,\delta>0$, $u_-:=\epsilon v$ is a sub-solution, and $u^+:=\epsilon v+\delta$ is a super-solution.

Let $v$ be as before. Note that, since $v$ is positive on the boundary, it makes sense to write $\epsilon v= O(\epsilon)$ on $\partial M$. This way, for $\epsilon, \delta>0,~\beta>1$, one has $$(\epsilon v+\delta)^\beta = O(\epsilon^\beta)+O(\delta^\beta) ~\mbox{on}~\partial M.$$ By definition, $u_- \le u^+$, and both are harmonic. In order for them to be sub- and super-solutions, we just have to check their behavior on the boundary.

*Claim 1. $Bu_--\frac{n-2}{2} f (u_-)^\beta \le 0$ .*

Recall that by construction, $Bv<0$ on the boundary. Hence $$\begin{aligned}
Bu_- -\frac{n-2}{2} f (u_-)^\beta & = & \epsilon B v -\frac{n-2}{2} f (\epsilon v)^\beta\\
&\le & -\epsilon\min_{\partial M} |B v|+\frac{n-2}{2} \max_{\partial M}|f| (\epsilon v)^\beta\\
&= & -O(\epsilon)+O(\epsilon^\beta)\\
&\le & 0\end{aligned}$$ by taking $\epsilon>0$ small enough.

*Claim 2. $B u^+- \frac{n-2}{2}f(u^+ )^\beta\ge 0$.*

We see that $$\begin{aligned}
B u^+ -\frac{n-2}{2} f(u^+ )^\beta & = & \epsilon B v-\frac{n-2}{2} f (\epsilon v+\delta)^\beta\\
&\ge& -\epsilon\max_{\partial M}|Bv|+\delta (\frac{n-2}{2}h_g)\\
&&- \frac{n-2}{2}\max_{\partial M}|f|(\epsilon v+\delta)^\beta\\
&  = & -O(\epsilon) +O(\delta)-O(\epsilon^\beta)-O(\delta^\beta).\end{aligned}$$ The above line can be made nonnegative by choosing $\epsilon$ smaller than $\delta$, and $\delta$ small (notice the plus sign next to $O(\delta)$).

This way, $0<\mu\epsilon \le u_- \le u^+\le \epsilon+\mu \epsilon+\delta$ are sub- and super-solutions respectively.

\[Proof of Theorem \[thm1\]\]

The existence of $u$ satisfying (\[cf\]) is granted by applying the above Proposition \[fin\] and Theorem \[main\]. For the critical case, i.e. $\beta=n/(n-2)$. The completeness of the metric $\tilde{g}=u^{4/(n-2)}g$ follows from the lower bound $u\ge u_- \ge\mu\epsilon>0$.

Construction of positive manifolds
==================================

We show how to construct a large class of noncompact complete positive manifolds with boundary. Basically, these examples come from removing "small" submanifolds from positive <span>*compact*</span> manifolds with boundary.

Positivity of compact manifolds is equivalent to positivity of the first eigenvalue of problem (\[CN\]), since completeness is not an issue. A compact manifold with boundary is positive if and only if its <span>*Yamabe constant*</span> is positive (see @E92).

Let $(N^n,\bar{g}),~n\ge 3$, be a positive compact manifold with boundary. Consider a collection of submanifolds $\Sigma=\cup_{i=1}^{k}\Sigma_i^{n_i}$, where each $\Sigma_i$ is a submanifold in the interior of $N$ of dimension $0\le n_i\le \frac{n-2}{2}$; put $\Sigma_i=\{p_i\}$ whenever $n_i=0$.

We will construct a metric $g=u^{4/(n-2)}\bar{g}$ on $M=N\setminus \Sigma$, that is complete, scalar flat and has positive mean curvature on the boundary. Also, $(M,g)$ will have large ends and will remain positive.

For $p\in int(N)$ let $G_p>0$ denote the Green's function for the conformal Laplacian on $(N,\bar{g})$, which always exists and satisfies $L_{\bar{g}}G_p=\delta_p$ and $B_{\bar{g}}G_p=0$. This way, for $c>0,~G_p+c$ satisfies $$L_{\bar{g}} (G_p+c)=\delta_p,~B_{\bar{g}}(G_p+c)=c\frac{n-2}{2}h_{\bar{g}}>0$$ since $(N,\bar{g})$ is positive.

By a construction on the Appendix of Schoen and Yau's paper @SY79 which involves the Green's function, one can find, for each $\Sigma_i$ of positive dimension, positive functions $G_i$ that are singular on $\Sigma_i$ and satisfy $L_{\bar{g}}G_i=0$ on $N\setminus \Sigma_i$.

A simple argument like that of Proposition \[fin\] shows that for appropriate coefficients $a_i>0, c>0$ the function $$u=\sum_{\{i|n_i>0\}} a_iG_i +\sum_{\{i|n_i=0\}}a_{i}G_{p_i}+c$$ is singular on $\Sigma$ and satisfies $L_{\bar{g}}u=0$ and $B_{\bar{g}}u>0$. Therefore $g=u^{4/(n-2)}\bar{g}$ remains positive.

The large codimension of the $\Sigma_i$ guarantees, via the standard argument in @SY79, that the singularities of $u$ are strong enough to make $g=u^{4/(n-2)}\bar{g}$ complete with large ends.

[^1]: The author would like to thank Prof. Richard Schoen for his thorough support and great comments. This work was supported in part by NSF grant \# DMS-0223098

{'source': 'arXiv_out/math0605650'}