1
$\begingroup$

How to derive that after stereo-graphical projection, $\Delta u$ in $\mathbb{R}^n$ is transformed to $$ \Delta_{\mathbb{S}^n}u - \frac{n(n-2)}{4}u\ \text{in}\ \mathbb{S}^n. $$ To be more precise, in this paper, it is asserted that the equation $$-\Delta_{\mathbb{S}^n}\,u+\frac{n(n-2)}{2}u-\tilde{K}u^{\frac{n+2}{n-2}}=0\quad\text{on}\ \mathbb{S}^n$$ can be reduced to $$-\Delta u = K(y)u^{\frac{n+2}{n-2}}\quad\text{in}\ \mathbb{R}^n.$$

I need some tips or relevant references.

$\endgroup$
6
  • 1
    $\begingroup$ One way is to use the formula for the Laplacian with respect to a Riemannian metric. $\endgroup$
    – Deane Yang
    Commented Sep 4, 2022 at 18:46
  • $\begingroup$ What definition(s) of the Laplacian do you want to use? $\endgroup$
    – Deane Yang
    Commented Sep 5, 2022 at 16:41
  • $\begingroup$ I think it is Beltrami-Laplace@Deane Yang $\endgroup$
    – Stephen
    Commented Sep 6, 2022 at 2:22
  • $\begingroup$ Yes, you use analyst (negative) Laplacian my answer has the geometer Laplacian (equal to - the analyst) because the formulas look nicer. Still this is a minor thing, You can take the answer and add all the -1 in front of the $\Delta$'s $\endgroup$ Commented Sep 6, 2022 at 5:42
  • 2
    $\begingroup$ You can Not have $\Delta_{\mathbb{R}^n} u$ equal to $\Delta_{S^n} u - \frac{n(n-2)}{4} u$. If you take $u$ constant equal to $1$ then you would have $0=-n(n-2)/4$ $\endgroup$ Commented Sep 6, 2022 at 6:53

1 Answer 1

3
$\begingroup$

the relation between the two Laplacians is a bit more complicated. I follow the survey paper of Lee and Parker on the Yamabe problem.

The conformal Laplacian of a Riemannian metric $g$ is defined as $$ L_g = 4 \frac{n-1}{n-2} \Delta_g + S_g $$ where $S_g$ is the scalar curvature of the metric and $\Delta_g = d_g^* d$ is the Hodge (positive) Laplacian. The main point is that if we do a conformal change of the metric $\tilde{g} = \varphi^2 g$ (where $\varphi>0$ is a smooth positive function) then \begin{equation}\label{eq:conflap} L_g (u) = \varphi^{\frac{n+2}{2}} L_{\tilde{g}} (\varphi^{\frac{2-n}{2}} u) . \end{equation} The metric of the unit sphere in stereographic projection coordinates is \begin{equation*} g_{S^n} = \varphi^2 g_{\mathbb{R}^n} \hspace{2mm} \text{ with } \varphi = \frac{2}{(1+|x|^2)}. \end{equation*} Using the equation for the conformal laplacian and that the scalar curvature of $S^n$ is $n(n-1)$ we obtain \begin{equation} \Delta_{\mathbb{R}^n} u = \varphi^{\frac{n+2}{2}} \left( \Delta_{S^n} + \frac{n(n-2)}{4} \right) (\varphi^{\frac{2-n}{2}} u) . \end{equation}

On the other hand, the conformal Laplacian relates to prescribing scalar curvature in conformal classes as follows. Let $K$ be a given function, then the metric $\tilde{g} = u^{4/(n-2)} g$ has scalar curvature equal to $K$ if and only if $u$ solves the PDE \begin{equation*} L_g (u) = u^{\frac{n+2}{n-2}} K . \end{equation*} In the case of the sphere, the metric $\tilde{g} = u^{4/(n-2)} g_{S^n}$ has scalar curvature equal to $K$ if and only if \begin{equation}\label{eq1} \Delta_{S^n} u + \frac{n(n-2)}{4} u = u^{\frac{n+2}{n-2}} \tilde{K} \end{equation} where $\tilde{K}= \frac{n-2}{4(n-1)} K$. At the same time, $\tilde{g}= \tilde{u}^{4/(n-2)} g_{\mathbb{R}^n}$ where $\tilde{u} = \varphi^{\frac{n-2}{2}} u$ with $\varphi = 2 (1+|x|^2)^{-1}$. We conclude that $u$ solves the above equation if and only if $\tilde{u}$ solves

\begin{equation} \Delta_{\mathbb{R}^n} \tilde{u} = \tilde{u}^{\frac{n+2}{n-2}} \tilde{K} . \end{equation}

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .